Commit 0b9354b0 authored by Francois Bobot's avatar Francois Bobot
Browse files

use why.conf instead of .why.conf for local configuration

parent 3dbdd679
......@@ -33,9 +33,9 @@ let compilation_loadpath =
Filename.concat compilation_datadir "theories"
let default_conf_file =
Filename.concat (match Config.localdir with
| None -> Rc.get_home_dir ()
| Some d -> d) ".why.conf"
match Config.localdir with
| None -> Filename.concat (Rc.get_home_dir ()) ".why.conf"
| Some d -> Filename.concat d "why.conf"
(* Configuration file *)
......@@ -124,8 +124,10 @@ let load_prover dirname provers (id,section) =
} provers
let load_main dirname section =
{ private_libdir = get_string ~default:default_main.private_libdir section "libdir";
private_datadir = get_string ~default:default_main.private_datadir section "datadir";
{ private_libdir = get_string ~default:default_main.private_libdir
section "libdir";
private_datadir = get_string ~default:default_main.private_datadir
section "datadir";
loadpath = List.map (absolute_filename dirname)
(get_stringl ~default:default_main.loadpath section "loadpath");
timelimit = get_int ~default:default_main.timelimit section "timelimit";
......
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