diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2024-07-23 16:27:10 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2024-07-23 16:27:10 +0200 |
| commit | cf392d6f87a87aaadded219c5862dbb686661a3c (patch) | |
| tree | 3bc4ad8e0e9e751e9ba594e9ecfeafcc2b5cdf49 | |
| parent | 6417e942447763385bed9dd3ba630b64d08bfefc (diff) | |
Update readme.md
| -rw-r--r-- | readme.md | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -34,6 +34,10 @@ and [E](https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html) to discharge proof tasks. +You may also need to install `zlib` on certain operating systems. +For example, on Ubuntu you can install the development version of +`zlib` by running `sudo apt install zlib1g-dev`. + #### Obtaining Vampire The default prover is Vampire and the included library is written against a specific release of Vampire. @@ -99,8 +103,8 @@ When looking for imported files, the following list of base directories is consi - the current working directory in the command line - the user library directory, set with the environment variable `NAPROCHE_LIB`, defaulting to `~/formalizations` -- the source code library directory, set with the environment variable `NAPROCHE_SCR_LIB`, defaulting to `~/code/zf/library` -- the source code examples directory, set with the environment variable `NAPROCHE_SCR_EXAMPLES`, defaulting to `~/code/zf/examples` +- the source code library directory, set with the environment variable `NAPROCHE_SCR_LIB`, defaulting to `~/code/naproche-zf/library` +- the source code examples directory, set with the environment variable `NAPROCHE_SCR_EXAMPLES`, defaulting to `~/code/naproche-zf/examples` ### Running the tests |