From 82bb974201c00a2ceb0f8b817059a5cbde8083ed Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Thu, 1 Aug 2024 14:54:25 -0400 Subject: Add an option to build a static executable --- dune | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/dune b/dune index e69de29..34f05cc 100644 --- a/dune +++ b/dune @@ -0,0 +1,5 @@ +(env + (static + (flags + (:standard -cclib -static)))) + -- cgit v1.2.3