diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-04-11 14:05:11 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-04-11 16:17:01 +0200 |
| commit | dfc3bd6be6a8cbb686cd88297a884ccad1c7d56c (patch) | |
| tree | 4e0873ce6ee08703803f37d7c2df23f42fe8140b /sci-mathematics | |
| parent | sci-mathematics/coq-mathcomp: ignore CFLAGS for ML/Coq code (diff) | |
| download | gentoo-dfc3bd6be6a8cbb686cd88297a884ccad1c7d56c.tar.gz gentoo-dfc3bd6be6a8cbb686cd88297a884ccad1c7d56c.tar.bz2 gentoo-dfc3bd6be6a8cbb686cd88297a884ccad1c7d56c.zip | |
sci-mathematics/coq: add ounit2 to test deps
Closes: https://bugs.gentoo.org/904152
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/coq-8.17.0.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sci-mathematics/coq/coq-8.17.0.ebuild b/sci-mathematics/coq/coq-8.17.0.ebuild index baa5f98e70ae..19df902424b8 100644 --- a/sci-mathematics/coq/coq-8.17.0.ebuild +++ b/sci-mathematics/coq/coq-8.17.0.ebuild @@ -18,7 +18,8 @@ S="${WORKDIR}"/${MY_P} LICENSE="LGPL-2.1" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" -IUSE="debug doc gui +ocamlopt" +IUSE="debug doc gui +ocamlopt test" +RESTRICT="!test? ( test )" RDEPEND=" dev-ml/zarith:= @@ -47,6 +48,7 @@ BDEPEND=" dev-texlive/texlive-xetex media-fonts/freefont ) + test? ( dev-ml/ounit2 ) " DOCS=( CODE_OF_CONDUCT.md CONTRIBUTING.md CREDITS INSTALL.md README.md ) |