diff options
Diffstat (limited to 'sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild index 06a68247055f..b851107a4c41 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild @@ -16,7 +16,7 @@ SRC_URI="${ADAMIRROR}/${ID}?filename=${MYP}.tar.gz -> ${MYP}.tar.gz" LICENSE="GPL-3" SLOT="0" KEYWORDS="~amd64" -IUSE="coq doc emacs gtk html +ocamlopt zarith zip" +IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip" RESTRICT="strip" DEPEND="dev-lang/ocaml:0/4.11[ocamlopt?] @@ -35,6 +35,7 @@ DEPEND="dev-lang/ocaml:0/4.11[ocamlopt?] gtk? ( dev-ml/lablgtk:=[sourceview] ) emacs? ( app-editors/emacs:* ) html? ( dev-tex/hevea:= ) + hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= )" RDEPEND="${DEPEND}" @@ -80,12 +81,12 @@ src_configure() { --disable-pvs-libs \ --disable-isabelle-libs \ --enable-verbose-make \ - --disable-hypothesis-selection \ $(use_enable coq coq-libs) \ $(use_enable doc) \ $(use_enable emacs emacs-compilation) \ $(use_enable gtk ide) \ $(use_enable html html-pdf) \ + $(use_enable hypothesis-selection) \ $(use_enable ocamlopt native-code) \ $(use_enable zarith) \ $(use_enable zip) |