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

Follow redirects when fetching Z3

Browse Source
This commit is contained in:
Aaron Tomb 2017-07-12 10:14:12 -07:00
parent 14ac49279a
commit ec0b506230
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.appveyor.yml
View File

@ -10,7 +10,7 @@ install:
- 7z x -bd cabal.zip
- cabal --version
- cabal update
- curl -o z3.zip --progress-bar https://github.com/Z3Prover/z3/releases/download/z3-4.5.0/z3-4.5.0-x64-win.zip
- curl -o z3.zip -L https://github.com/Z3Prover/z3/releases/download/z3-4.5.0/z3-4.5.0-x64-win.zip
- 7z x -bd z3.zip
- cp z3-4.5.0-x64-win/bin/z3.exe .