diff options
Diffstat (limited to 'math/apron/files/patch-ppl_Makefile')
| -rw-r--r-- | math/apron/files/patch-ppl_Makefile | 14 |
1 files changed, 0 insertions, 14 deletions
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 |