From 51a5f347ea4826c61349c5f0890d7f984c166eac Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 17 May 2024 16:19:32 -0500 Subject: Setup everything for static and non-static release --- bin/dune | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'bin') diff --git a/bin/dune b/bin/dune index b255cb0..d57f39c 100644 --- a/bin/dune +++ b/bin/dune @@ -1,7 +1,7 @@ (executable (public_name stitch) (package stitch) - (flags (:standard -cclib -static -cclib -no-pie)) + (name main) (libraries stitch @@ -13,7 +13,11 @@ shexp.process lambda-term)) - +(env + (release-static + (ocamlc_flags (-g)) + (ocamlopt_flags (-g)) + (flags (:standard -cclib -static -cclib -no-pie -w -40)))) ; Rule to generate a man page for stitch (rule (target stitch.1) -- cgit v1.2.3