diff options
Diffstat (limited to 'configure.ml')
-rw-r--r-- | configure.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index 6a78337d4..560577f47 100644 --- a/configure.ml +++ b/configure.ml @@ -512,6 +512,8 @@ let camltag = match caml_version_list with | x::y::_ -> "OCAML"^x^y | _ -> assert false +let coq_warn_flag = + if caml_version_nums > [4;2;3] then "-w -3-52-56" else "" (** * CamlpX configuration *) @@ -1130,7 +1132,7 @@ let write_makefile f = pr "CAMLHLIB=%S\n\n" camllib; pr "# Caml link command and Caml make top command\n"; pr "# Caml flags\n"; - pr "CAMLFLAGS=-rectypes %s\n" coq_annotate_flag; + pr "CAMLFLAGS=-rectypes %s %s\n" coq_annotate_flag coq_warn_flag; pr "# User compilation flag\n"; pr "USERFLAGS=\n\n"; pr "# Flags for GCC\n"; |