-
Notifications
You must be signed in to change notification settings - Fork 35
Installing Granule
To install Granule you need three components: Z3, Stack, and Granule itself.
Recommended: use homebrew.
brew install z3
If you don't have brew, first run
/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"
Alternative: download the precompiled binary and put it on your path, e.g., assuming the binary is located in ~/Downloads/z3/bin/:
mv ~/Downloads/z3/bin/z3 /usr/local/bin/z3
Recommended: install Z3 via your package manager of choice.
Alternative: download the precompiled binary and put it on your path.
If you are using Mac OS X, you may be able to skip this step and use the binary release (https://github.com/granule-project/granule/releases/tag/0.7.1.0).
Stack can manage all the Haskell-related build dependencies for you automatically, with sandboxing.
curl -sSL https://get.haskellstack.org/ | sh
See https://docs.haskellstack.org/en/stable/install_and_upgrade/
There is a release binary for v0.7.1.0 here: https://github.com/granule-project/granule/releases/tag/0.7.1.0
To build the Granule frontend gr and the interactive mode grin just run:
git clone https://github.com/granule-project/granule && cd granule && stack setup && stack install --test
If all tests do not pass, please open an issue with details.
If you have any problems building, this may be due to an outdated version of
Stack; you can update Stack via stack upgrade.
If this doesn't resolve the problem, please open an issue giving all relevant details.