From 82691069f1a42c397c10b1e1cc5e91e8c4fab2f0 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 14 Aug 2022 22:32:21 -0400 Subject: [PATCH] perf: dune flags --- dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune b/dune index 1b55029c..7a66c521 100644 --- a/dune +++ b/dune @@ -4,5 +4,5 @@ (_ (flags :standard -warn-error -a+8+9 -w +a-4-32-40-41-42-44-48-70 -color always -strict-sequence -safe-string -short-paths) - (ocamlopt_flags :standard -O3 -color always -unbox-closures + (ocamlopt_flags :standard -O3 -color always -inline 30 -unbox-closures -unbox-closures-factor 20)))