[r2004-06-20 00:14:02 by beppe] autodetect godi default installation

Original author: beppe
Date: 2004-06-20 00:14:02+00:00

configure.ml

@@ -175,8 +175,11 @@ let rec search_sources source_list =
 
 
 let ml_interface = 
-  let dir1 = !(List.assoc "mliface" vars) in 
-  let dir = (if dir1 = "" then search_sources src_dirs else dir1) in
+  let dir1 = !(List.assoc "mliface" vars) in
+  let dir = (if Sys.file_exists "/opt/godi/lib/ocaml/compiler-lib" then
+                "/opt/godi/lib/ocaml/compiler-lib"    
+            else if dir1 = "" then 
+                search_sources src_dirs else dir1) in
   if dir = "" then `no
   else
     let file = if native then "types.cmx" else "types.cmo" in