14 lines
375 B
Diff
14 lines
375 B
Diff
diff --git a/src/bin/dune b/src/bin/dune
|
|
index 162963b4b..29dfa5191 100644
|
|
With this patch, a static executable is produced
|
|
--- a/src/bin/dune
|
|
+++ b/src/bin/dune
|
|
@@ -34,5 +34,6 @@
|
|
(preprocess
|
|
(pps ppx_let ppx_blob bisect_ppx --conditional)
|
|
)
|
|
- (flags (:standard -open Simple_utils))
|
|
+ (flags (:standard -open Simple_utils)
|
|
+ -ccopt -static -cclib "-lgmp")
|
|
)
|