I’m new to dune and experiencing some 20% slowdown with the executables built with dune compared the ones produced with my good old Makefile where I specify options -no_assert -unsafe -inline 100. I tried to do the same with flags in my dune configuration:
(env
(dev
(flags (:standard -w -50-32-27-9-69-34-37-33))
(ocamlopt_flags (:standard -unsafe -noassert -inline 100))))
However, I can see with dune build --verbose
that many other options are passed to the compiler (like -g) by default, which might (or not?) lead to a slow-down. Is there any way to optimize dune for performance in this respect?
5 posts - 3 participants