Changes

Page history
Update Installing z3 haskell authored by Ogilvie, D.H. (Duncan)'s avatar Ogilvie, D.H. (Duncan)
Show whitespace changes
Inline Side-by-side
Installing-z3-haskell.md
View page @ 5c1defb9
## Windows
1. Download the [latest z3 4.x release](https://github.com/Z3Prover/z3/releases/latest) (make sure to match your GHC architecture, in my case `z3-4.5.0-x64-win.zip`). 1. Download the [latest z3 4.x release](https://github.com/Z3Prover/z3/releases/latest) (make sure to match your GHC architecture, in my case `z3-4.5.0-x64-win.zip`).
2. Extract the zip somewhere (`c:\z3-4.5.0-x64-win`) 2. Extract the zip somewhere (`c:\z3-4.5.0-x64-win`)
3. `cabal install z3 --extra-include-dirs=c:\z3-4.5.0-x64-win\include --extra-lib-dirs=c:\z3-4.5.0-x64-win\bin` 3. `cabal install z3 --extra-include-dirs=c:\z3-4.5.0-x64-win\include --extra-lib-dirs=c:\z3-4.5.0-x64-win\bin`
## OSX
1. `brew install z3`
2. `cabal install z3`
\ No newline at end of file