From 97310164515a0a048d4f049ae2d3e8d413fb94c6 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Sun, 2 Apr 2023 17:18:27 +0100
Subject: gentoo auto-resync : 02:04:2023 - 17:18:27

---
 .../files/why3-for-spark-2019-flags.patch          | 28 ----------------------
 .../files/why3-for-spark-2019-gentoo.patch         | 24 -------------------
 .../files/why3-for-spark-2020-flags.patch          | 28 ----------------------
 3 files changed, 80 deletions(-)
 delete mode 100644 sci-mathematics/why3-for-spark/files/why3-for-spark-2019-flags.patch
 delete mode 100644 sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch
 delete mode 100644 sci-mathematics/why3-for-spark/files/why3-for-spark-2020-flags.patch

(limited to 'sci-mathematics/why3-for-spark/files')

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)
-- 
cgit v1.2.3