From b295d3402ddebfd2ca3aa052a32880df8d9060a2 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Wed, 20 Apr 2016 09:45:46 +0200 Subject: One more word about checking 4.01.0 with -debug and camlp4. --- configure.ml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'configure.ml') diff --git a/configure.ml b/configure.ml index 83005f0c5..9fdd451f1 100644 --- a/configure.ml +++ b/configure.ml @@ -598,10 +598,11 @@ let check_camlp5_version () = | _ -> die "Error: unsupported Camlp5 (version < 5.01 or unrecognized).\n" let check_caml_version_for_camlp4 () = - if caml_version_nums = [4;1;0] && !Prefs.debug then - die ("Your version of OCaml is 4.01.0 which fails to compile Coq in -debug\n" ^ - "mode with Camlp4. Remove -debug option or use a different version of OCaml\n" ^ - "or use Camlp5.\n") + if caml_version_nums = [4;1;0] && !Prefs.debug && not !Prefs.force_caml_version then + die ("Your version of OCaml is detected to be 4.01.0 which fails to compile\n" ^ + "Coq in -debug mode with Camlp4. Remove -debug option or use a different\n" ^ + "version of OCaml or use Camlp5, or bypass this test by using option\n" ^ + "-force-caml-version.\n") let config_camlpX () = try -- cgit v1.2.3