GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity

add note about Z3 on 64-bit Linux

Browse Source
This commit is contained in:
Adam C. Foltzer 2016-05-31 15:47:50 -07:00
parent e974a1159b
commit 875d78800f
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
README.md
View File

@ -50,6 +50,14 @@ install Cryptol using Homebrew, Z3 will be installed automatically.
After installation, make sure that `z3` (or `z3.exe` on Windows)
is on your PATH.
### Note for 64-bit Linux Users
On some 64-bit Linux configurations, 32-bit binaries do not work. This
can lead to unhelpful error messages like `z3: no such file or
directory`, even when `z3` is clearly present. To fix this, either
install 32-bit compatibility packages for your distribution, or
download the `x64` version of Z3.
# Building Cryptol From Source
In addition to the binaries, the Cryptol source is available publicly