commit: 5047348a53133478c69ec7994c0dc81390e03dd3
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 29 19:38:40 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Jun 29 19:38:40 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5047348a
sci-mathematics/why3-for-spark: enabled hypothesis-selection
Package-Manager: Portage-3.0.20, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
.../why3-for-spark/files/why3-for-spark-2021-flags.patch | 9 +++++++++
sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild | 5 +++--
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 7f6dfd0f446..e12ec73318b 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 06a68247055..b851107a4c4 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)
