Alexander Bantyev
edb3fce642
* Dynamically linked executables (ligo-bin) * Statically linked executables (ligo-static) * Docker (ligo-docker) * deb package (ligo-deb) * webide (ligo-editor) * webide docker (ligo-editor-docker) * website (ligo-website)
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")
|
|
)
|