wish: a uniform treatment of relative paths in configuration and drivers
The current interpretation of relative file names for driver files in why3.conf
and user extra configuration file, and also in driver files themselves via the import
directive is quite ad-hoc, not documented and hardly customizable. A suggestion would be to allow prefixes such as "DATADIR/..." to refer to Why3 datadir, "CONFIG/..." to refer to the configuration file, possibly others. The section of source code to adapt would be both whyconf.ml
, function absolute_driver_file
and driver_lexer.mll
, function parse_file_gen
, case of INPUT