diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2017-11-19 13:51:16 +0100 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2017-11-19 13:51:16 +0100 |
commit | 8436fead3a8de28dc308729aa71e7da9f8113950 (patch) | |
tree | b15126dafc35d98ba5b192a281a0726a58f34416 /configure.ml | |
parent | edf1a8f36f75861b822081b3825357e122b6937d (diff) |
Remove branch on caml version >= 3.10 from configure.
We require 4.02.3.
Diffstat (limited to 'configure.ml')
-rw-r--r-- | configure.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/configure.ml b/configure.ml index 0952b15f5..51f3fad7c 100644 --- a/configure.ml +++ b/configure.ml @@ -491,9 +491,6 @@ let check_caml_version () = let _ = check_caml_version () -let coq_debug_flag_opt = - if caml_version_nums >= [3;10] then coq_debug_flag else "" - let camltag = match caml_version_list with | x::y::_ -> "OCAML"^x^y | _ -> assert false @@ -1168,7 +1165,7 @@ let write_makefile f = pr "CFLAGS=%s\n\n" cflags; pr "# Compilation debug flags\n"; pr "CAMLDEBUG=%s\n" coq_debug_flag; - pr "CAMLDEBUGOPT=%s\n\n" coq_debug_flag_opt; + pr "CAMLDEBUGOPT=%s\n\n" coq_debug_flag; pr "# Compilation profile flag\n"; pr "CAMLTIMEPROF=%s\n\n" coq_profile_flag; pr "# Camlp4 : flavor, binaries, libraries ...\n"; |