From 89a19b720771c06f8de23c239b3713dd6efc3ec3 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Sun, 1 Dec 2024 13:55:56 +0000
Subject: [PATCH] Use a Dune profile for static builds

---
 dune         | 5 ++++-
 src/dune     | 1 -
 src/lib/dune | 1 +
 3 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/dune b/dune
index 8b13789..aad207f 100644
--- a/dune
+++ b/dune
@@ -1 +1,4 @@
-
+(env
+ (static
+  (flags
+   (:standard -cclib -static))))
diff --git a/src/dune b/src/dune
index 76040a1..5e45ee3 100644
--- 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
index 6001f67..918847d 100644
--- 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))