summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch9
-rw-r--r--sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild5
2 files changed, 12 insertions, 2 deletions
diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch
index 7f6dfd0f446f..e12ec73318b9 100644
--- a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch
+++ b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch
@@ -9,6 +9,15 @@
OFLAGS = $(FLAGS)
BFLAGS = $(FLAGS)
+@@ -572,7 +572,7 @@
+ lib/plugins/hypothesis_selection.cmo: EXTOBJS += graph.cmo
+ ifeq (@enable_ocamlfind@,yes)
+ lib/plugins/hypothesis_selection.cmxs: FLAGS += -package ocamlgraph -dontlink "$(EXTPKGS)" -linkpkg
+-lib/plugins/hypothesis_selection.cmo: FLAGS += -package ocamlgraph graph.cmo
++lib/plugins/hypothesis_selection.cmo: FLAGS += -package ocamlgraph
+ endif
+ endif
+
@@ -778,13 +778,13 @@
all: $(TOOLS)
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)