No libdir nor datadir in the why3.conf please
Having libdir and datadir in the why3.conf is a bit problematic. Here are steps to avoid the problems
-
be sure to never write libdir and datadir in why3.conf
from Why3 itself. But those values can still be read from there if they are set by hand. -
add functions set_libdir
andset_datadir
in the API ofwhyconf.mli
analoguously toset_loadpath
-
document the possibility to set libdir
anddatadir
from environment variablesWHY3LIB
andWHY3DATA
-
functions from call_provers.ml
that takeslibdir
anddatadir
as argument should take the config instead. Inwhy3 prove
, pass the config as argument.