Add ocamlopt flags

filipeom · filipeom · commit 7df13f966946 · 2026-01-14T16:40:29.000+01:00
diff --git a/dune b/dune
@@ -6,3 +6,8 @@
    (not %{lib-available:bitwuzla-cxx})
    (not %{lib-available:colibri2.core})
    (not %{lib-available:cvc5}))))
+
+(env
+ (release
+  (ocamlopt_flags
+   (:standard -O3))))
