Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
abe4fb02
Commit
abe4fb02
authored
Feb 16, 2011
by
Jean-Christophe Filliâtre
Browse files
no default loadpath if config file exists
parent
e24f33af
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/driver/whyconf.ml
View file @
abe4fb02
...
...
@@ -184,7 +184,7 @@ let load_main dirname section =
{
libdir
=
get_string
~
default
:
default_main
.
libdir
section
"libdir"
;
datadir
=
get_string
~
default
:
default_main
.
datadir
section
"datadir"
;
loadpath
=
List
.
map
(
absolute_filename
dirname
)
(
get_stringl
~
default
:
default_main
.
loadpath
section
"loadpath"
);
(
get_stringl
~
default
:
[]
section
"loadpath"
);
timelimit
=
get_int
~
default
:
default_main
.
timelimit
section
"timelimit"
;
memlimit
=
get_int
~
default
:
default_main
.
memlimit
section
"memlimit"
;
running_provers_max
=
get_int
~
default
:
default_main
.
running_provers_max
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment