diff options
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) |