From 57147cea85d581d0bee5d4d51d2f45eeab016afe Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 26 Feb 2019 22:46:13 -0600 Subject: [PATCH] chore: add common dune file --- src/dune | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 src/dune diff --git a/src/dune b/src/dune new file mode 100644 index 00000000..955acfd9 --- /dev/null +++ b/src/dune @@ -0,0 +1,5 @@ + +(env + (_ + (flags :standard -warn-error -3-32 -color always -safe-string -short-paths) + (ocamlopt_flags :standard -O3 -color always -unbox-closures -unbox-closures-factor 20)))