GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-05 15:07:12 +03:00
Code Issues Projects Releases Wiki Activity

update readme with Homebrew info

Browse Source
This commit is contained in:
Adam C. Foltzer 2015-03-30 10:16:10 -07:00
parent 275b9a99f1
commit ce4db94fdc
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
README.md
View File

@ -33,6 +33,10 @@ extract to a location of your choice. Windows binaries are distributed
as an `.msi` installer package which places a shortcut to the Cryptol
interpreter in the Start menu.
On Mac OS X, Cryptol is also available via
[Homebrew](http://brew.sh/). Simply run `brew update && brew install
cryptol` to get the latest stable version.
## Getting CVC4
Cryptol currently depends on the
@ -49,10 +53,9 @@ on [GitHub](https://github.com/GaloisInc/cryptol).
Cryptol builds and runs on various flavors of Linux, Mac OS X, and
Windows. We regularly build and test it in the following environments:
- Mac OS X 10.9 64-bit
- CentOS 5 32/64-bit
- Mac OS X 10.10 64-bit
- CentOS 6 32/64-bit
- Windows XP 32-bit
- Windows 7 32-bit
## Prerequisites