gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/why3: fix *DEPEND

Browse Source 
Closes: https://bugs.gentoo.org/828974
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2021-12-12 13:13:18 +01:00
parent c0e85a0409
commit 61686012df
1 changed files with 17 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
sci-mathematics/why3/why3-1.4.0.ebuild → sci-mathematics/why3/why3-1.4.0-r1.ebuild
View File

@@ -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 )