diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-12-12 13:13:18 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-12-12 13:14:50 +0100 |
| commit | 61686012dfc33cda5b87f4726ffce518c68897dc (patch) | |
| tree | 00b1ea135d763554aab4ad6cfa7b83060f84c163 /sci-mathematics/why3 | |
| parent | app-text/kramdown-rfc2629: drop 1.4.19 (diff) | |
| download | gentoo-61686012dfc33cda5b87f4726ffce518c68897dc.tar.gz gentoo-61686012dfc33cda5b87f4726ffce518c68897dc.tar.bz2 gentoo-61686012dfc33cda5b87f4726ffce518c68897dc.zip | |
sci-mathematics/why3: fix *DEPEND
Closes: https://bugs.gentoo.org/828974
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/why3')
| -rw-r--r-- | sci-mathematics/why3/why3-1.4.0-r1.ebuild (renamed from sci-mathematics/why3/why3-1.4.0.ebuild) | 31 |
1 files changed, 17 insertions, 14 deletions
diff --git a/sci-mathematics/why3/why3-1.4.0.ebuild b/sci-mathematics/why3/why3-1.4.0-r1.ebuild index 42012b020215..badf49628e94 100644 --- a/sci-mathematics/why3/why3-1.4.0.ebuild +++ b/sci-mathematics/why3/why3-1.4.0-r1.ebuild @@ -16,27 +16,30 @@ IUSE="coq doc emacs gtk +ocamlopt re sexp +zarith zip" RDEPEND=" !sci-mathematics/why3-for-spark - >=dev-lang/ocaml-4.05.0[ocamlopt?] - >=dev-ml/menhir-20151112 - dev-ml/num + >=dev-lang/ocaml-4.05.0:=[ocamlopt?] + >=dev-ml/menhir-20151112:= + dev-ml/num:= coq? ( >=sci-mathematics/coq-8.6 ) + emacs? ( app-editors/emacs:* ) + gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) + re? ( dev-ml/re:= dev-ml/seq:= ) + sexp? ( + dev-ml/ppx_deriving:=[ocamlopt?] + dev-ml/ppx_sexp_conv:=[ocamlopt?] + dev-ml/sexplib:=[ocamlopt?] + ) + zarith? ( dev-ml/zarith:= ) + zip? ( dev-ml/camlzip:= ) +" +DEPEND="${RDEPEND}" +BDEPEND=" doc? ( dev-python/sphinx dev-python/sphinxcontrib-bibtex + media-gfx/graphviz || ( dev-texlive/texlive-latex dev-tex/latexmk dev-tex/rubber ) ) - emacs? ( app-editors/emacs:* ) - gtk? ( dev-ml/lablgtk:*[sourceview,ocamlopt?] ) - re? ( dev-ml/re dev-ml/seq ) - sexp? ( - dev-ml/ppx_deriving[ocamlopt?] - dev-ml/ppx_sexp_conv[ocamlopt?] - dev-ml/sexplib[ocamlopt?] - ) - zarith? ( dev-ml/zarith ) - zip? ( dev-ml/camlzip ) " -DEPEND="${RDEPEND}" DOCS=( CHANGES.md README.md ) |