diff options
| author | jp | 2020-02-12 17:48:03 +0000 |
|---|---|---|
| committer | jp | 2020-02-12 17:48:03 +0000 |
| commit | 49275011e172b8bb587a6e7f023deeac9343d8bb (patch) | |
| tree | e3e3c56144e541fe1a01d954e793448dc58deccb /INSTALL.md | |
| parent | ed8bccd927306551f93d5aab8d0e2a92b9e5d227 (diff) | |
made list of required ubuntu packages complete
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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/): ``` |