math/apron: Update 0.9.12 -> 0.9.12

7 files changed, 0 insertions, 102 deletions

diff --git a/math/apron/files/patch-apron_Makefile b/math/apron/files/patch-apron_Makefile
deleted file mode 100644
index b8363b6a3fb6..000000000000
--- a/math/apron/files/patch-apron_Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
---- apron/Makefile.orig	2018-12-14 19:17:40 UTC
-+++ apron/Makefile
-@@ -141,12 +141,12 @@ libapron_debug.a: $(O_FILES_DEBUG) ../it
- 	$(RANLIB) $@
- 
- libapron.so: $(O_FILES) ../itv/libitv.a
--	$(CC_APRON_DYLIB) $(CFLAGS) -o $@ $(O_FILES) $(patsubst	\
-+	$(CC_APRON_DYLIB) -Wl,-soname,$@ $(CFLAGS) -o $@ $(O_FILES) $(patsubst	\
- 		%,../itv/%,$(filter %.o, $(shell $(AR) t	\
- 		../itv/libitv.a))) $(LDFLAGS)
- 
- libapron_debug.so: $(O_FILES_DEBUG) ../itv/libitv_debug.a
--	$(CC_APRON_DYLIB) $(CFLAGS_DEBUG) -o $@ $(O_FILES_DEBUG)	\
-+	$(CC_APRON_DYLIB) -Wl,-soname,$@ $(CFLAGS_DEBUG) -o $@ $(O_FILES_DEBUG)	\
- 		$(patsubst %,../itv/%,$(filter %.o, $(shell $(AR) t	\
- 		../itv/libitv_debug.a))) $(LDFLAGS)
- 
diff --git a/math/apron/files/patch-box_Makefile b/math/apron/files/patch-box_Makefile
deleted file mode 100644
index 076318ef355e..000000000000
--- a/math/apron/files/patch-box_Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
---- box/Makefile.orig	2018-12-14 19:21:04 UTC
-+++ box/Makefile
-@@ -147,9 +147,9 @@ libbox%_debug.a: $(subst .c,%_debug.o,$(
- 	$(AR) rcs $@ $^
- 	$(RANLIB) $@
- libbox%.so:  $(subst .c,%.o,$(CCMODULES:%=%.c))
--	$(CC_APRON_DYLIB) $(CFLAGS) -o $@ $^ $(LDFLAGS) $(LIBS)
-+	$(CC_APRON_DYLIB) -Wl,-soname,$@ $(CFLAGS) -o $@ $^ $(LDFLAGS) $(LIBS)
- libbox%_debug.so: $(subst .c,%_debug.o,$(CCMODULES:%=%.c))
--	$(CC_APRON_DYLIB) $(CFLAGS_DEBUG) -o $@ $^ $(LDFLAGS) $(LIBS_DEBUG)
-+	$(CC_APRON_DYLIB) -Wl,-soname,$@ $(CFLAGS_DEBUG) -o $@ $^ $(LDFLAGS) $(LIBS_DEBUG)
- 
- %MPQ.o: %.c
- 	$(CC) $(CFLAGS) $(ICFLAGS) -DNUM_MPQ -c -o $@ $<
diff --git a/math/apron/files/patch-newpolka_Makefile b/math/apron/files/patch-newpolka_Makefile
deleted file mode 100644
index f71ef4e9f2b3..000000000000
--- a/math/apron/files/patch-newpolka_Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
---- newpolka/Makefile.orig	2018-12-14 19:21:39 UTC
-+++ newpolka/Makefile
-@@ -165,9 +165,9 @@ libpolka%_debug.a: $(subst .c,%_debug.o,
- 	$(AR) rcs $@ $^
- 	$(RANLIB) $@
- libpolka%.so:  $(subst .c,%.o,$(CCMODULES:%=%.c))
--	$(CC_APRON_DYLIB) $(CFLAGS) -o $@ $^ $(LDFLAGS) $(LIBS)
-+	$(CC_APRON_DYLIB) -Wl,-soname,$@  $(CFLAGS) -o $@ $^ $(LDFLAGS) $(LIBS)
- libpolka%_debug.so: $(subst .c,%_debug.o,$(CCMODULES:%=%.c))
--	$(CC_APRON_DYLIB) $(CFLAGS_DEBUG) -o $@ $^ $(LDFLAGS) $(LIBS_DEBUG)
-+	$(CC_APRON_DYLIB) -Wl,-soname,$@  $(CFLAGS_DEBUG) -o $@ $^ $(LDFLAGS) $(LIBS_DEBUG)
- 
- %Rl.o: %.c $(CCINC)
- 	$(CC) $(CFLAGS) $(ICFLAGS) -DNUM_LONGRAT -c -o $@ $<
diff --git a/math/apron/files/patch-octagons_Makefile b/math/apron/files/patch-octagons_Makefile
deleted file mode 100644
index b6d1bdf66dff..000000000000
--- a/math/apron/files/patch-octagons_Makefile
+++ /dev/null
@@ -1,15 +0,0 @@
---- octagons/Makefile.orig	2018-12-14 19:22:15 UTC
-+++ octagons/Makefile
-@@ -158,10 +158,10 @@ liboct%_debug.a: $(subst .c,%_debug.o,$(
- 	$(RANLIB) $@
- 
- liboct%.so: $(subst .c,%.o,$(CCSOURCES))
--	$(CC_APRON_DYLIB) $(CFLAGS) -o $@ $^ $(LDFLAGS) $(LIBS)
-+	$(CC_APRON_DYLIB) -Wl,-soname,$@ $(CFLAGS) -o $@ $^ $(LDFLAGS) $(LIBS)
- 
- liboct%_debug.so: $(subst .c,%_debug.o,$(CCSOURCES))
--	$(CC_APRON_DYLIB) $(CFLAGS) -o $@ $^ $(LDFLAGS) $(LIBS_DEBUG)
-+	$(CC_APRON_DYLIB) -Wl,-soname,$@ $(CFLAGS) -o $@ $^ $(LDFLAGS) $(LIBS_DEBUG)
- 
- ifneq ($(HAS_SHARED),)
- octtest%: oct_test%.o liboct%_debug.a liboct%_debug.so
diff --git a/math/apron/files/patch-ppl_Makefile b/math/apron/files/patch-ppl_Makefile
deleted file mode 100644
index 25642a68417f..000000000000
--- a/math/apron/files/patch-ppl_Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
---- ppl/Makefile.orig	2018-12-14 19:22:48 UTC
-+++ ppl/Makefile
-@@ -105,9 +105,9 @@ libap_ppl_debug.a: $(subst .cc,_debug.o,
- 	$(AR) rcs $@ $^
- 	$(RANLIB) $@
- libap_ppl.so: $(subst .cc,.o,$(CXXSOURCES))
--	$(CXX_APRON_DYLIB) $(CXXFLAGS) -o $@ $^ $(LDFLAGS) $(LIBS)
-+	$(CXX_APRON_DYLIB) -Wl,-soname,$@ $(CXXFLAGS) -o $@ $^ $(LDFLAGS) $(LIBS)
- libap_ppl_debug.so: $(subst .cc,_debug.o,$(CXXSOURCES))
--	$(CXX_APRON_DYLIB) $(CXXFLAGS_DEBUG) -o $@ $^ $(LDFLAGS) $(LIBS_DEBUG)
-+	$(CXX_APRON_DYLIB) -Wl,-soname,$@ $(CXXFLAGS_DEBUG) -o $@ $^ $(LDFLAGS) $(LIBS_DEBUG)
- 
- ifneq ($(HAS_SHARED),)
- ap_ppl_test: libap_ppl_debug.so
diff --git a/math/apron/files/patch-products_Makefile b/math/apron/files/patch-products_Makefile
deleted file mode 100644
index d838193882a9..000000000000
--- a/math/apron/files/patch-products_Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
---- products/Makefile.orig	1970-01-01 00:00:00 UTC
-+++ products/Makefile
-@@ -120,9 +120,9 @@ libap_pkgrid_debug.a: ap_pkgrid_debug.o
- 	$(AR) rcs $@ $^
- 	$(RANLIB) $@
- libap_pkgrid.so: ap_pkgrid.o
--	$(CXX_APRON_DYLIB) $(CXXFLAGS) -o $@ $^ -L../newpolka -lpolkaMPQ $(LDFLAGS) $(LIBS)
-+	$(CXX_APRON_DYLIB) -Wl,-soname,$@ $(CXXFLAGS) -o $@ $^ -L../newpolka -lpolkaMPQ $(LDFLAGS) $(LIBS)
- libap_pkgrid_debug.so: ap_pkgrid_debug.o
--	$(CXX_APRON_DYLIB) $(CXXFLAGS_DEBUG) -o $@ $^ -L../newpolka -lpolkaMPQ_debug $(LDFLAGS) $(LIBS_DEBUG)
-+	$(CXX_APRON_DYLIB) -Wl,-soname,$@ $(CXXFLAGS_DEBUG) -o $@ $^ -L../newpolka -lpolkaMPQ_debug $(LDFLAGS) $(LIBS_DEBUG)
- 
- #---------------------------------------
- # C rules
diff --git a/math/apron/files/patch-taylor1plus_Makefile b/math/apron/files/patch-taylor1plus_Makefile
deleted file mode 100644
index 18eb1941578b..000000000000
--- a/math/apron/files/patch-taylor1plus_Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
---- taylor1plus/Makefile.orig	2018-12-14 19:24:08 UTC
-+++ taylor1plus/Makefile
-@@ -178,9 +178,9 @@ libt1p%_debug.a: $(subst .c,%_debug.o,$(
- ## should work across all archs
- ##
- libt1p%.so:  $(subst .c,%.o,$(CCMODULES:%=%.c))
--	$(CC_APRON_DYLIB) $(CFLAGS) -o $@ $^ $(LDFLAGS) -lbox$* -lpolkaMPQ $(LIBS)
-+	$(CC_APRON_DYLIB) -Wl,-soname,$@ $(CFLAGS) -o $@ $^ $(LDFLAGS) -lbox$* -lpolkaMPQ $(LIBS)
- libt1p%_debug.so: $(subst .c,%_debug.o,$(CCMODULES:%=%.c))
--	$(CC_APRON_DYLIB) $(CFLAGS_DEBUG) -o $@ $^ $(LDFLAGS) -lbox$*_debug -lpolkaMPQ_debug $(LIBS_DEBUG)
-+	$(CC_APRON_DYLIB) -Wl,-soname,$@ $(CFLAGS_DEBUG) -o $@ $^ $(LDFLAGS) -lbox$*_debug -lpolkaMPQ_debug $(LIBS_DEBUG)
- 
- %MPQ.o: %.c
- 	$(CC) $(CFLAGS) $(ICFLAGS) -DNUM_MPQ -c -o $@ $<