From 49275011e172b8bb587a6e7f023deeac9343d8bb Mon Sep 17 00:00:00 2001
From: jp
Date: Wed, 12 Feb 2020 17:48:03 +0000
Subject: made list of required ubuntu packages complete

---
 INSTALL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'INSTALL.md')

diff --git a/INSTALL.md b/INSTALL.md
index 4beef8a5..574f871e 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -26,7 +26,7 @@ opam repository add rems https://github.com/rems-project/opam-repository.git
 ```
 Install system dependencies, on Ubuntu:
 ```
-sudo apt-get install build-essential libgmp-dev z3
+sudo apt-get install build-essential libgmp-dev z3 pkg-config zlib1g-dev
 ```
 or [MacOS homebrew](https://brew.sh/):
 ```
-- 
cgit v1.2.3