diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2021-06-29 21:38:40 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2021-06-29 21:38:40 +0200 |
| commit | 5047348a53133478c69ec7994c0dc81390e03dd3 (patch) | |
| tree | fb70284d1d7dc7d24f9251f5fcbb5e80fb4e38dc /sci-mathematics/why3-for-spark/files | |
| parent | gnome-extra/pch-session: Stabilize (diff) | |
| download | gentoo-5047348a53133478c69ec7994c0dc81390e03dd3.tar.gz gentoo-5047348a53133478c69ec7994c0dc81390e03dd3.tar.bz2 gentoo-5047348a53133478c69ec7994c0dc81390e03dd3.zip | |
sci-mathematics/why3-for-spark: enabled hypothesis-selection
Package-Manager: Portage-3.0.20, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/why3-for-spark/files')
| -rw-r--r-- | sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch | 9 |
1 files changed, 9 insertions, 0 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) |