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