From 97310164515a0a048d4f049ae2d3e8d413fb94c6 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 2 Apr 2023 17:18:27 +0100 Subject: gentoo auto-resync : 02:04:2023 - 17:18:27 --- .../files/why3-for-spark-2020-flags.patch | 28 ---------------------- 1 file changed, 28 deletions(-) delete mode 100644 sci-mathematics/why3-for-spark/files/why3-for-spark-2020-flags.patch (limited to 'sci-mathematics/why3-for-spark/files/why3-for-spark-2020-flags.patch') diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2020-flags.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2020-flags.patch deleted file mode 100644 index 2e5247ac3fa6..000000000000 --- a/sci-mathematics/why3-for-spark/files/why3-for-spark-2020-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 -@@ -121,7 +121,7 @@ - - WARNINGS = A-4-9-41-44-45-50-52@5@8@48 - --FLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g $(INCLUDES) -+FLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g $(INCLUDES) -cclib "$(LDFLAGS)" -ccopt "$(CFLAGS)" - OFLAGS = $(FLAGS) - BFLAGS = $(FLAGS) - -@@ -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) -- cgit v1.2.3