Previous Up Next

3.3  Library paths

If you right-click on a directory, ProverEditor add the item Add to loadpath. It is used to tell to the prover to look into the specified directories for its libraries.



This action adds an entry to the file .prover_paths, which is then passed to the ide, the compiler and the top-level. The exact behaviour and specifically how it is passed to the different provers is specific to each plugins (see prover specific documentation). The format of the file is one directory per line, with path relative to the project path. To remove a directory just remove its line from the file.


Previous Up Next