aboutsummaryrefslogtreecommitdiffstats
path: root/community/bower/no-static-link.patch
diff options
context:
space:
mode:
Diffstat (limited to 'community/bower/no-static-link.patch')
-rw-r--r--community/bower/no-static-link.patch13
1 files changed, 13 insertions, 0 deletions
diff --git a/community/bower/no-static-link.patch b/community/bower/no-static-link.patch
new file mode 100644
index 00000000000..920704e7d96
--- /dev/null
+++ b/community/bower/no-static-link.patch
@@ -0,0 +1,13 @@
+diff --git a/src/Mercury.options b/src/Mercury.options
+index 947dea7..539a0fc 100644
+--- a/src/Mercury.options
++++ b/src/Mercury.options
+@@ -9,7 +9,7 @@ CFLAGS += -D_FILE_OFFSET_BITS=64
+ MLLIBS-bower += -lgpgme
+
+ # Statically link to Mercury libraries.
+-MCFLAGS-bower += --mercury-linkage static
++MCFLAGS-bower += --mercury-linkage shared
+
+ # General optimisation flags.
+ MCFLAGS += --optimise-constructor-last-call