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 | |
parent | f253e820eb4e6794ad484f5bc27182d236aeb41e (diff) |
gentoo auto-resync : 02:04:2023 - 17:18:27
Diffstat (limited to 'sci-mathematics/why3-for-spark/files')
3 files changed, 0 insertions, 80 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) diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch deleted file mode 100644 index 2dab12ddfbd3..000000000000 --- a/sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch +++ /dev/null @@ -1,24 +0,0 @@ ---- a/src/gnat/gnat_config.ml 2017-10-18 09:07:03.118919785 +0200 -+++ b/src/gnat/gnat_config.ml 2017-10-18 09:07:45.198216939 +0200 -@@ -12,10 +12,7 @@ - | Limit_Check of Gnat_expl.check - | Limit_Line of Gnat_loc.loc - --let spark_prefix = -- (Filename.dirname -- (Filename.dirname (Filename.dirname -- (Filename.dirname Sys.executable_name)))) -+let spark_prefix = "/usr" - - let rec file_concat l = - match l with ---- a/Makefile.in 2020-05-27 21:19:08.736241502 +0200 -+++ b/Makefile.in 2020-05-27 21:19:14.042156954 +0200 -@@ -50,7 +50,6 @@ - OCAMLINSTALLLIB = $(DESTDIR)@OCAMLINSTALLLIB@ - OCAMLBEST = @OCAMLBEST@ - OCAMLVERSION = @OCAMLVERSION@ --CC = gcc - COQC = @COQC@ - COQDEP = @COQDEP@ - FRAMAC_LIBDIR = $(DESTDIR)@FRAMAC_LIBDIR@ 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) |