gentoo-overlay/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch

--- a/Makefile.in	2020-06-12 21:03:33.375534124 +0200
+++ b/Makefile.in	2020-06-12 21:03:48.623283408 +0200
@@ -127,7 +127,7 @@
 
 WARNINGS = A-4-9-41-44-45-50-52@5@8@48
 
-FLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g -thread $(INCLUDES)
+FLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g -thread $(INCLUDES) -cclib "$(LDFLAGS)" -ccopt "$(CFLAGS)"
 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)
 
 lib/why3server$(EXE): $(SERVER_O)
-	$(CC) -Wall -o $@ $^
+	$(CC) -Wall $(CFLAGS) -o $@ $^ $(LDFLAGS)
 
 lib/why3cpulimit$(EXE): $(CPULIM_O)
-	$(CC) -Wall -o $@ $^
+	$(CC) -Wall $(CFLAGS) -o $@ $^ $(LDFLAGS)
 
 %.o: %.c
-	$(CC) -Wall -O -g -o $@ -c $<
+	$(CC) -Wall $(CFLAGS) -O -g -o $@ -c $<
 
 uninstall-bin::
 	rm -f $(LIBDIR)/why3/why3server$(EXE) $(LIBDIR)/why3/why3cpulimit$(EXE)