From 3de9b51fa73feeec9df156d713dc04bee1385433 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Tue, 14 May 2024 21:28:58 -0600 Subject: [PATCH] _ Signed-off-by: Rudi Grinberg --- src/dune_rules/module_compilation.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/dune_rules/module_compilation.ml b/src/dune_rules/module_compilation.ml index 3571fb16e91e..2679731999fa 100644 --- a/src/dune_rules/module_compilation.ml +++ b/src/dune_rules/module_compilation.ml @@ -192,9 +192,11 @@ let build_cm Option.value_exn (Obj_dir.Module.cmt_file obj_dir m ~cm_kind ~ml_kind) in let annots = + [ "-bin-annot" ] + @ if Version.supports_bin_annot_occurrences ocaml.version - then [ "-bin-annot"; "-bin-annot-occurrences" ] - else [ "-bin-annot" ] + then [ "-bin-annot-occurrences" ] + else [] in fn :: other_targets, As annots) else other_targets, Command.Args.empty