jyapayne/flitter
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix home not found

Browse source
This commit is contained in:
Joey Yakimowich-Payne 2018-06-04 13:54:20 +09:00
commit 3763a095cb
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
configure vendored
View file

@ -236,7 +236,7 @@ OCAMLVERSION=$ocaml_version
pr2 "Generating globals/config_flitter.ml"; 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`; `perl -p -i -e 's#Not_found[0-9]#Not_found#' globals/config_flitter.ml`;

2
globals/config_flitter.ml
View file

@ -2,7 +2,7 @@ let version = "0.29"
let path = let path =
try (Sys.getenv "FLITTER_HOME") try (Sys.getenv "FLITTER_HOME")
with Not_found->"/usr/local/share/flitter" with Not_found->"./"
let std_xxx = ref (Filename.concat path "xxx.yyy") let std_xxx = ref (Filename.concat path "xxx.yyy")