diff --git a/configure b/configure index 667644a..832c921 100755 --- a/configure +++ b/configure @@ -236,7 +236,7 @@ OCAMLVERSION=$ocaml_version pr2 "Generating globals/config_flitter.ml"; -`perl -p -e 's#Not_found1.\*#Not_found->\\\"$src\\\"#' globals/config_flitter.ml.in > globals/config_flitter.ml`; +`perl -p -e 's#Not_found1.\*#Not_found->\\\"./\\\"#' globals/config_flitter.ml.in > globals/config_flitter.ml`; `perl -p -i -e 's#Not_found[0-9]#Not_found#' globals/config_flitter.ml`; diff --git a/globals/config_flitter.ml b/globals/config_flitter.ml index 3fd80e8..2858bdc 100644 --- a/globals/config_flitter.ml +++ b/globals/config_flitter.ml @@ -2,7 +2,7 @@ let version = "0.29" let path = try (Sys.getenv "FLITTER_HOME") - with Not_found->"/usr/local/share/flitter" + with Not_found->"./" let std_xxx = ref (Filename.concat path "xxx.yyy")