From ef3fa51c12c450781facb61f54f465a77a359f83 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 15 May 2018 04:25:05 +0200
Subject: [ocaml] Update required OCaml version to 4.05.0

Closes #7380. Ubuntu 18.04 and Debian Buster will ship this OCaml
version so it makes sense we bump our dependency to 4.05.0 as we can
use some newer compiler features.
---
 kernel/nativelib.ml | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

(limited to 'kernel/nativelib.ml')

diff --git a/kernel/nativelib.ml b/kernel/nativelib.ml
index b4126dd68c..6edb387bb1 100644
--- a/kernel/nativelib.ml
+++ b/kernel/nativelib.ml
@@ -89,16 +89,7 @@ let call_compiler ?profile:(profile=false) ml_filename =
     else
       []
   in
-  let flambda_args =
-    if Coq_config.caml_version_nums >= [4;3;0] && Dynlink.is_native then
-      (* We play safe for now, and use the native compiler
-         with -Oclassic, however it is likely that `native_compute`
-         users can benefit from tweaking here.
-      *)
-      ["-Oclassic"]
-    else
-      []
-  in
+  let flambda_args = if Sys.(backend_type = Native) then ["-Oclassic"] else [] in
   let args =
     initial_args @
       profile_args @
-- 
cgit v1.2.3