summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFranciszek Malinka <franciszek.malinka@gmail.com>2023-10-16 00:21:01 +0200
committerFranciszek Malinka <franciszek.malinka@gmail.com>2023-10-16 00:21:01 +0200
commit2367a408fba36f2e95d91f8ac45a7907146d2769 (patch)
tree6c0deb003378e12f206244c59396fc254525cceb
initial
-rw-r--r--dune5
1 files changed, 5 insertions, 0 deletions
diff --git a/dune b/dune
new file mode 100644
index 0000000..f5aa205
--- /dev/null
+++ b/dune
@@ -0,0 +1,5 @@
+(env
+ (dev)
+ (release
+ (ocamlopt_flags
+ (:standard -O3))))