update Linux OS dependency

This commit is contained in:
Rijnard van Tonder 2021-10-30 13:10:26 -07:00 committed by GitHub
parent 929a4e6f3d
commit 08fc85ca8f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -91,7 +91,7 @@ opam switch create 4.11.0 4.11.0
- Install OS dependencies:
- **Linux:** `sudo apt-get install autoconf libpcre3-dev pkg-config zlib1g-dev m4 libgmp-dev libev-dev libsqlite3-dev`
- **Linux:** `sudo apt-get install autoconf libpcre3-dev pkg-config zlib1g-dev m4 libgmp-dev libev4 libsqlite3-dev`
- **Mac:** `brew install pkg-config gmp pcre libev`