Merge PR #9665: [dune] Enable optimization options in the compilation of the VM.

Reviewed-by: SkySkimmer
Reviewed-by: Zimmi48

2 files changed, 9 insertions, 0 deletions

diff --git a/dune b/dune
index 4beba1c14f..6fb0612e4e 100644
--- a/dune
+++ b/dune
@@ -8,6 +8,13 @@
  (ocaml409
   (flags :standard -strict-sequence -strict-formats -keep-locs -rectypes -w -9-27+40+60 -warn-error -5 -alert --deprecated)))
 
+; Information about flags for release mode:
+;
+; In #9665 we tried to add (c_flags -O3) to the release setup,
+; unfortunately the resulting VM seems to be slower [5% slower on
+; fourcolor, thus we keep the default C flags for now, which seem to
+; be -O2.
+
 ; The _ profile could help factoring the above, however it doesn't
 ; seem to work like we'd expect/like:
 ;
diff --git a/topbin/dune b/topbin/dune
index 3b861afe78..7b77826216 100644
--- a/topbin/dune
+++ b/topbin/dune
@@ -26,6 +26,8 @@
  (package coq)
  (modules coqc_bin)
  (libraries coq.toplevel)
+ ; Adding -ccopt -flto to links options could be interesting, however,
+ ; it doesn't work on Windows
  (link_flags -linkall))
 
 (install