[r2004-06-19 22:56:22 by beppe] Added godo default installation directory of ocaml sources

Original author: beppe
Date: 2004-06-19 22:56:22+00:00

configure.ml

@@ -61,7 +61,7 @@ let vars =
   ]
 
 
-let src_dirs = ["/usr/src"; "/usr/local/src"; "/tmp"]
+let src_dirs = ["/usr/src"; "/usr/local/src"; "/tmp" ; "/opt/godi/lib/ocaml/compiler-lib"]
 	
 let fatal s = printf "*** Fatal error: %s\n" s; exit 1
 let warning s = printf "* Warning: %s\n" s