From 8d28bb30b0ff1812fa0ad58147d42cddde3099da Mon Sep 17 00:00:00 2001 From: Alasdair Armstrong Date: Wed, 1 Apr 2020 12:11:07 +0100 Subject: Update INSTALL.md Mention robert's workaround for z3 on WSL--- INSTALL.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/INSTALL.md b/INSTALL.md index 574f871e..e5ba2f0a 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -24,7 +24,7 @@ Add our local opam repo: ``` opam repository add rems https://github.com/rems-project/opam-repository.git ``` -Install system dependencies, on Ubuntu: +Install system dependencies, on Ubuntu (if using WSL see the note below): ``` sudo apt-get install build-essential libgmp-dev z3 pkg-config zlib1g-dev ``` @@ -44,6 +44,10 @@ sail --help ``` Some source files that sail uses are found at ``opam config var sail:share`` (e.g. for ``$include ``) but sail should find those when it needs them. +### Note for WSL (Windows subsystem for Linux) users + +The version of z3 that ships in the ubuntu repositories can be quite old, and we've had reports that this can cause issues when using Sail on WSL. On WSL we recommend downloading a recent z3 release from https://github.com/Z3Prover/z3/releases rather than installing it via apt-get. + ### Installing development versions of Sail Released Sail packages lag behind the latest development in the repository. If you find you need a recently added feature or bug fix you can use opam pin to install the latest version of Sail from the repository. Assuming you have previously followed the above instructions (required to install dependencies): ``` -- cgit v1.2.3