From cf392d6f87a87aaadded219c5862dbb686661a3c Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 23 Jul 2024 16:27:10 +0200
Subject: Update readme.md

---
 readme.md | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/readme.md b/readme.md
index e607ca5..b533a18 100644
--- a/readme.md
+++ b/readme.md
@@ -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
-- 
cgit v1.2.3