Commit df714242 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

call configuration file "why3.conf" instead of "why.conf"

parent cff6a051
...@@ -37,7 +37,7 @@ prover = altergo ...@@ -37,7 +37,7 @@ prover = altergo
driver = "..." driver = "..."
command = "..." command = "..."
loadpath = "..." #added to the one in why.conf loadpath = "..." #added to the one in why3.conf
loadpath = "..." loadpath = "..."
timelimit = 30 timelimit = 30
......
...@@ -42,8 +42,8 @@ let default_loadpath = ...@@ -42,8 +42,8 @@ let default_loadpath =
let default_conf_file = let default_conf_file =
match Config.localdir with match Config.localdir with
| None -> Filename.concat (Rc.get_home_dir ()) ".why.conf" | None -> Filename.concat (Rc.get_home_dir ()) ".why3.conf"
| Some d -> Filename.concat d "why.conf" | Some d -> Filename.concat d "why3.conf"
(* Configuration file *) (* Configuration file *)
...@@ -119,7 +119,7 @@ let load_plugins m = ...@@ -119,7 +119,7 @@ let load_plugins m =
List.iter load m.plugins List.iter load m.plugins
type config = { type config = {
conf_file : string; (* "/home/innocent_user/.why.conf" *) conf_file : string; (* "/home/innocent_user/.why3.conf" *)
config : Rc.t; config : Rc.t;
main : main; main : main;
provers : config_prover Mstr.t; provers : config_prover Mstr.t;
......
...@@ -39,8 +39,8 @@ val read_config : string option -> config ...@@ -39,8 +39,8 @@ val read_config : string option -> config
raised. raised.
- If "$WHY3CONFIG" is given and the file doesn't exist Rc.CannotOpen - If "$WHY3CONFIG" is given and the file doesn't exist Rc.CannotOpen
is raised is raised
- otherwise we try reading "$HOME/.why.conf" (or - otherwise we try reading "$HOME/.why3.conf" (or
"$USERPROFILE/.why.conf" under Windows) and, if not present, we return "$USERPROFILE/.why3.conf" under Windows) and, if not present, we return
the built-in default_config with default configuration filename *) the built-in default_config with default configuration filename *)
val save_config : config -> unit val save_config : config -> unit
......
Supports Markdown
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