|
@@ -19,11 +19,9 @@
|
|
|
|
|
|
#load "unix.cma"
|
|
#load "unix.cma"
|
|
|
|
|
|
-
|
|
|
|
(* ----- BEGIN CONFIGURATION ---- *)
|
|
(* ----- BEGIN CONFIGURATION ---- *)
|
|
|
|
|
|
-let zlib = "zlib.lib"
|
|
|
|
-let bytecode = true
|
|
|
|
|
|
+let bytecode = false
|
|
let native = true
|
|
let native = true
|
|
|
|
|
|
(* ------ END CONFIGURATION ----- *)
|
|
(* ------ END CONFIGURATION ----- *)
|
|
@@ -31,6 +29,12 @@ let native = true
|
|
let obj_ext = match Sys.os_type with "Win32" -> ".obj" | _ -> ".o"
|
|
let obj_ext = match Sys.os_type with "Win32" -> ".obj" | _ -> ".o"
|
|
let exe_ext = match Sys.os_type with "Win32" | "Cygwin" -> ".exe" | _ -> ""
|
|
let exe_ext = match Sys.os_type with "Win32" | "Cygwin" -> ".exe" | _ -> ""
|
|
|
|
|
|
|
|
+let zlib = match Sys.os_type with
|
|
|
|
+ | "Win32" -> "zlib.lib"
|
|
|
|
+ | _ ->
|
|
|
|
+ let osx = "/usr/lib/libz.dylib" in
|
|
|
|
+ if Sys.file_exists osx then osx else "/usr/lib/libz.so.1"
|
|
|
|
+
|
|
let msg m =
|
|
let msg m =
|
|
prerr_endline m;
|
|
prerr_endline m;
|
|
flush stdout
|
|
flush stdout
|