diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-14 12:21:31 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-06-04 16:43:10 +0200 |
| commit | 6050b44172660a3285a337896baea35b32e58d47 (patch) | |
| tree | 5bc256ff9506c47b587956e08fb0c91ec709bcd8 /configure.ml | |
| parent | 565d6c5f2fc89cab3b119308fbe2c0edeff033ce (diff) | |
Ensure that warnings new from ocaml > 4.01 remains silent.
Indeed, 8.6 is announced to be compilable with 4.01.0 and it is
convenient not seeing warnings about which nothing can be done.
Remove deprecation warnings new from ocaml 4.03, as well as warning 52.
This is a partial cherry-pick of a77734ad6.
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 04b04979d..caef75271 100644 --- a/configure.ml +++ b/configure.ml @@ -510,6 +510,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 *) @@ -1128,7 +1130,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"; |