Commit 7e74b5cb authored by MARCHE Claude's avatar MARCHE Claude
Browse files

again datadir

parent be1326ff
......@@ -2,7 +2,8 @@
# auto bench for why
export WHYLIB=../lib
export WHY3LIB=lib
export WHY3DATA=.
pgm=$1
pgml=$2
......
......@@ -50,24 +50,34 @@ let error ?loc e = match loc with
bin/t -> no (dirname = "bin", is_implicit = yes)
*)
(*
let implicit_path =
let s = Sys.argv.(0) in
Filename.is_implicit s &&
Filename.dirname s = Filename.current_dir_name
*)
let libdir =
(*
if implicit_path then
*)
try
Sys.getenv "WHY3LIB"
with Not_found -> Config.libdir
(*
else "."
*)
let datadir =
(*
if implicit_path then
*)
try
Sys.getenv "WHY3DATA"
with Not_found -> Config.datadir
(*
else "share"
*)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment