aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-17 16:19:32 -0500
committerMarc Coquand <marc@mccd.space>2024-05-17 16:19:32 -0500
commit51a5f347ea4826c61349c5f0890d7f984c166eac (patch)
tree1702821ca732103b75d8bd53ba5a83bcdbb4e180 /bin
parentb6ecaa98c8a07c42f55bb498ebdb8c82873c3b62 (diff)
downloadstitch-3269ad1af261e17c030bb7aaa4f497e359e7cef2.tar.gz
stitch-3269ad1af261e17c030bb7aaa4f497e359e7cef2.tar.bz2
stitch-3269ad1af261e17c030bb7aaa4f497e359e7cef2.zip
Setup everything for static and non-static releasev0.0.1push
Diffstat (limited to '')
-rw-r--r--bin/dune8
1 files changed, 6 insertions, 2 deletions
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)