walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Update z3 for appveyor build (#2950)

This commit is contained in:
amai2012 2020-12-15 12:51:01 +01:00 committed by GitHub
parent 2eb326de83
commit c6f8ca447e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
appveyor.yml
View File

@ -59,9 +59,9 @@ install:
- pip install pytest - pip install pytest
- SET p=x86 - SET p=x86
- IF "%platform%"=="x64" SET p=x64 - IF "%platform%"=="x64" SET p=x64
- curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-%p%-win.zip -o z3-4.8.7-win.zip - curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.9/z3-4.8.9-%p%-win.zip -o z3-4.8.9-win.zip
- 7z x z3-4.8.7-win.zip -oexternals -r -y - 7z x z3-4.8.9-win.zip -oexternals -r -y
- move externals\z3-4.8.7-%p%-win externals\z3 - move externals\z3-4.8.9-%p%-win externals\z3
build_script: build_script:
- ECHO Building %configuration% %platform% with MSVC %VisualStudioVersion% using %PlatformToolset% PlatformToolset - ECHO Building %configuration% %platform% with MSVC %VisualStudioVersion% using %PlatformToolset% PlatformToolset