From fbfd13b78e56d6f9afee824694d751a0a84f901c Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Wed, 25 Apr 2012 08:08:51 +0200 Subject: [PATCH] fix setup.ml Ignore-this: 3d5ca1fc6fe3906ae76444c684393cd darcs-hash:20120425060851-c41ad-5be6dafda963a7ed2ca7a94ee9941bd68a572e41 --- setup.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/setup.ml b/setup.ml index 6f73b5e..046e8e6 100644 --- a/setup.ml +++ b/setup.ml @@ -15,7 +15,7 @@ open OASISDynRun;; (* OASIS_STOP *) let search_compiler_libs () = - OASISContext.printf `Info "Searching for OCaml compiler libraries"; + prerr_endline "I: Searching for OCaml compiler libraries"; let stdlib = BaseEnv.var_get "standard_library" in let ( / ) = Filename.concat in try @@ -27,7 +27,7 @@ let search_compiler_libs () = stdlib / ".." / "compiler-lib"; ] with Not_found -> - OASISContext.printf `Error "Cannot find compiler libraries! See the README for details."; + prerr_endline "E: Cannot find compiler libraries! See the README for details."; exit 1 let compiler_libs =