From 8436fead3a8de28dc308729aa71e7da9f8113950 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Sun, 19 Nov 2017 13:51:16 +0100
Subject: Remove branch on caml version >= 3.10 from configure.

We require 4.02.3.
---
 configure.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'configure.ml')

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";
-- 
cgit v1.2.3