summaryrefslogtreecommitdiff
path: root/math/apron/files/patch-ppl_Makefile
blob: 25642a68417f34b22bb635999b79b757b2d3127d (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
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