diff options
author | Marc Coquand <marc@mccd.space> | 2024-05-17 16:19:32 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-05-17 16:19:32 -0500 |
commit | 51a5f347ea4826c61349c5f0890d7f984c166eac (patch) | |
tree | 1702821ca732103b75d8bd53ba5a83bcdbb4e180 /bin | |
parent | b6ecaa98c8a07c42f55bb498ebdb8c82873c3b62 (diff) | |
download | stitch-3269ad1af261e17c030bb7aaa4f497e359e7cef2.tar.gz stitch-3269ad1af261e17c030bb7aaa4f497e359e7cef2.tar.bz2 stitch-3269ad1af261e17c030bb7aaa4f497e359e7cef2.zip |
Diffstat (limited to '')
-rw-r--r-- | bin/dune | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -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) |