math/apron: Add forgotten patches that set SONAME on shared libraries

7 files changed, 102 insertions, 0 deletions

diff --git a/math/apron/files/patch-apron_Makefile b/math/apron/files/patch-apron_Makefile
new file mode 100644
index 000000000000..b8363b6a3fb6
--- /dev/null
+++ b/math/apron/files/patch-apron_Makefile
@@ -0,0 +1,17 @@
+--- 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
new file mode 100644
index 000000000000..076318ef355e
--- /dev/null
+++ b/math/apron/files/patch-box_Makefile
@@ -0,0 +1,14 @@
+--- 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
new file mode 100644
index 000000000000..f71ef4e9f2b3
--- /dev/null
+++ b/math/apron/files/patch-newpolka_Makefile
@@ -0,0 +1,14 @@
+--- 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
new file mode 100644
index 000000000000..b6d1bdf66dff
--- /dev/null
+++ b/math/apron/files/patch-octagons_Makefile
@@ -0,0 +1,15 @@
+--- 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
new file mode 100644
index 000000000000..25642a68417f
--- /dev/null
+++ b/math/apron/files/patch-ppl_Makefile
@@ -0,0 +1,14 @@
+--- 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
new file mode 100644
index 000000000000..d838193882a9
--- /dev/null
+++ b/math/apron/files/patch-products_Makefile
@@ -0,0 +1,14 @@
+--- 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
new file mode 100644
index 000000000000..18eb1941578b
--- /dev/null
+++ b/math/apron/files/patch-taylor1plus_Makefile
@@ -0,0 +1,14 @@
+--- 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 $@ $<