Use a Dune profile for static builds

dmbaturin · Dec 1, 2024 · 89a19b7 · 89a19b7
1 parent a1d65b1
commit 89a19b7
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/dune b/dune
@@ -1 +1,4 @@
-
+(env
+ (static
+  (flags
+   (:standard -cclib -static))))
diff --git a/src/dune b/src/dune
@@ -1,6 +1,5 @@
 (executable
  (name bnfgen_cli)
  (public_name bnfgen)
- ;(flags (-ccopt -static))
  (libraries bnfgen))
 
diff --git a/src/lib/dune b/src/lib/dune
@@ -12,5 +12,6 @@
   (name bnfgen)
   (public_name bnfgen)
   (synopsis "A library for parsing BNF-like grammars and generating strings")
+  (no_dynlink)
   (libraries menhirLib)
   (flags :standard -color always -safe-string -warn-error -a+8 -w -50))