From d82daa51c47db9e9fdc24af74fb18d55e4adbc57 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 4 Feb 2015 11:30:56 +0100
Subject: Nativelib: catch Unix_error (like no ocamlopt found)

---
 kernel/nativelib.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'kernel/nativelib.ml')

diff --git a/kernel/nativelib.ml b/kernel/nativelib.ml
index dd47bc06a..605c1225c 100644
--- a/kernel/nativelib.ml
+++ b/kernel/nativelib.ml
@@ -77,7 +77,10 @@ let call_compiler ml_filename =
     ::include_dirs
     @ ["-impl"; ml_filename] in
   if !Flags.debug then Pp.msg_debug (Pp.str (compiler_name ^ " " ^ (String.concat " " args)));
-  CUnix.sys_command compiler_name args = Unix.WEXITED 0, link_filename
+  try CUnix.sys_command compiler_name args = Unix.WEXITED 0, link_filename
+  with Unix.Unix_error (e,_,_) ->
+    Pp.(msg_warning (str (Unix.error_message e)));
+    false, link_filename
 
 let compile fn code =
   write_ml_code fn code;
-- 
cgit v1.2.3