Changes
Page history
Update Compiling on Windows
authored
Nov 24, 2017
by
Ogilvie, D.H. (Duncan)
Hide whitespace changes
Inline
Side-by-side
Installing-z3-haskell.md
0 → 100644
View page @
5badd11f
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`
)
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`
\ No newline at end of file
