diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-07-03 22:39:47 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-07-03 22:39:47 +0100 |
| commit | 7f0ccc917c7abe6223784c703d86cd14755691fb (patch) | |
| tree | 8c6793f68896b341e22f33d7e6cef88e481f4a8b /sci-mathematics/why3-for-spark/files | |
| parent | 9aa80713372911cec499b3adb2cd746790920916 (diff) | |
gentoo resync : 03.07.2021
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) |