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

Add configure script and remove more pfff artifacts

Browse source
This commit is contained in:
Joey Yakimowich-Payne 2018-06-04 13:15:36 +09:00
commit a4a44a3779
5 changed files with 322 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

2
globals/config_flitter.ml
View file

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

11
globals/config_flitter.ml.in Normal file
View file

@ -0,0 +1,11 @@
let version = "0.29"
let path =
try (Sys.getenv "FLITTER_HOME")
with Not_found1->"./"
let std_xxx = ref (Filename.concat path "xxx.yyy")
let logger =
try Some (Sys.getenv "FLITTER_LOGGER")
with Not_found2-> None

11
globals/config_pfff.ml.in
View file

@ -1,11 +0,0 @@
let version = "0.29"
let path =
try (Sys.getenv "PFFF_HOME")
with Not_found1->"/usr/local/share/pfff"
let std_xxx = ref (Filename.concat path "xxx.yyy")
let logger =
try Some (Sys.getenv "PFFF_LOGGER")
with Not_found2-> None