diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-04-02 17:18:27 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-04-02 17:18:27 +0100 |
commit | 97310164515a0a048d4f049ae2d3e8d413fb94c6 (patch) | |
tree | fe6e0f7a81db145205e303d191864b537743bd74 /sci-mathematics/why3-for-spark/files/why3-for-spark-2020-flags.patch | |
parent | f253e820eb4e6794ad484f5bc27182d236aeb41e (diff) |
gentoo auto-resync : 02:04:2023 - 17:18:27
Diffstat (limited to 'sci-mathematics/why3-for-spark/files/why3-for-spark-2020-flags.patch')
-rw-r--r-- | sci-mathematics/why3-for-spark/files/why3-for-spark-2020-flags.patch | 28 |
1 files changed, 0 insertions, 28 deletions
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) |