13 lines
326 B
Diff
13 lines
326 B
Diff
|
diff --git a/src/bin/dune b/src/bin/dune
|
||
|
|
index 162963b4b..29dfa5191 100644
|
||
|
|
--- 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")
|
||
|
|
)
|