diff options
Diffstat (limited to 'lang/chibi-scheme/files/patch-Makefile.detect')
| -rw-r--r-- | lang/chibi-scheme/files/patch-Makefile.detect | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lang/chibi-scheme/files/patch-Makefile.detect b/lang/chibi-scheme/files/patch-Makefile.detect new file mode 100644 index 00000000000..0080994882d --- /dev/null +++ b/lang/chibi-scheme/files/patch-Makefile.detect @@ -0,0 +1,10 @@ +--- Makefile.detect.orig 2018-02-16 11:08:45 UTC ++++ Makefile.detect +@@ -70,6 +70,7 @@ EXE = + CLIBFLAGS = -fPIC + CLINKFLAGS = -shared + LIBDL = ++LIBCHIBI_FLAGS = -Wl,-soname,libchibi-scheme$(SO).$(SOVERSION_MAJOR) + else + ifeq ($(PLATFORM),windows) + SO = .dll |