diff options
Diffstat (limited to 'sci-mathematics/why3-for-spark/files/why3-for-spark-2019-flags.patch')
| -rw-r--r-- | sci-mathematics/why3-for-spark/files/why3-for-spark-2019-flags.patch | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2019-flags.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2019-flags.patch deleted file mode 100644 index b562bb02cd84..000000000000 --- a/sci-mathematics/why3-for-spark/files/why3-for-spark-2019-flags.patch +++ /dev/null @@ -1,28 +0,0 @@ ---- a/Makefile.in 2020-06-12 21:03:33.375534124 +0200 -+++ b/Makefile.in 2020-06-12 21:03:48.623283408 +0200 -@@ -96,7 +96,7 @@ - - WARNINGS = A-4-9-41-44-45-50-52@5@8@48 - --OFLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g $(INCLUDES) -+OFLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g $(INCLUDES) -cclib "$(LDFLAGS)" -ccopt "$(CFLAGS)" - BFLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g $(INCLUDES) - - OLINKFLAGS = -linkall $(EXTCMXA) -@@ -664,13 +664,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 -O -g $(CFLAGS) -o $@ -c $< - - uninstall-bin:: - rm -f $(LIBDIR)/why3/why3server$(EXE) $(LIBDIR)/why3/why3cpulimit$(EXE) |