From 3763a095cb8d7904736fe0e64cbfc2c9b9b654d5 Mon Sep 17 00:00:00 2001 From: Joey Yakimowich-Payne Date: Mon, 4 Jun 2018 13:54:20 +0900 Subject: [PATCH] Fix home not found --- configure | 2 +- globals/config_flitter.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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")