relative paths in extra config files
Extra config file (given by --extra-config
) may contain paths, to extra driver files for example. When these are relative, they are search in the current dir and in the why3 share directory. They should be search also in the directory of the extra config file itself.