[coq] Add "-q" to default flags.

Fixes ocaml#3924 , and a bug where `:standard` was not properly set in theory flags, as they should be inherited from the ones set in the profile; thanks Rudi Gringerb. Signed-off-by: Emilio Jesus Gallego Arias <[email protected]>
ejgallego · Nov 12, 2020 · 2fdbc14 · 2fdbc14
1 parent d8020d6
commit 2fdbc14
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 8 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -69,6 +69,8 @@ Unreleased
 - `dune describe` now also includes information about executables in addition to
   that of libraries. (#3892, #3895, @nojb)
 
+- [coq] Add `-q` flag to default `coqc` flags , fixes #3924, (#3931 , @ejgallego)
+
 2.7.1 (2/09/2020)
 -----------------
 

diff --git a/src/dune_rules/coq_rules.ml b/src/dune_rules/coq_rules.ml
@@ -101,15 +101,14 @@ module Context = struct
     let dir = Path.build (snd t.coqc) in
     Command.run ~dir ?stdout_to (fst t.coqc) args
 
+  let standard_coq_flags = Build.return [ "-q" ]
+
   let coq_flags t =
-    Build.(
-      map ~f:List.concat
-        (all
-           [ Expander.expand_and_eval_set t.expander t.profile_flags
-               ~standard:(Build.return [])
-           ; Expander.expand_and_eval_set t.expander t.buildable.flags
-               ~standard:(Build.return [])
-           ]))
+    let standard = standard_coq_flags in
+    let standard =
+      Expander.expand_and_eval_set t.expander t.profile_flags ~standard
+    in
+    Expander.expand_and_eval_set t.expander t.buildable.flags ~standard
 
   let theories_flags =
     let setup_theory_flag lib =