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

CI-Windows: Use Z3 4.8.9 (#2946)

This commit is contained in:
amai2012 2020-12-13 19:39:52 +01:00 committed by GitHub
parent 38a055d2f3
commit ffde6278de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
.github/workflows/CI-windows.yml vendored
View File

@ -29,9 +29,9 @@ jobs:
- name: Install PCRE
run: |
curl -fsSL https://ftp.pcre.org/pub/pcre/pcre-8.44.zip -o pcre-8.44.zip
7z x pcre-8.44.zip
cd pcre-8.44
curl -fsSL https://ftp.pcre.org/pub/pcre/pcre-%PCRE_VERSION%.zip -o pcre-%PCRE_VERSION%.zip
7z x pcre-%PCRE_VERSION%.zip
cd pcre-%PCRE_VERSION%
cmake . -G "Visual Studio 16 2019" -A x64
msbuild -m PCRE.sln /p:Configuration=Release /p:Platform=x64
dir
@ -40,12 +40,18 @@ jobs:
dir x64\Release
copy pcre.h ..\externals
copy Release\pcre.lib ..\externals\pcre64.lib
env:
# see https://www.pcre.org/original/changelog.txt
PCRE_VERSION: 8.44
- name: Install Z3 library
run: |
curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-x64-win.zip -o z3-4.8.7-win.zip
7z x z3-4.8.7-win.zip -oexternals -r -y
move externals\z3-4.8.7-x64-win externals\z3
curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-%Z3_VERSION%/z3-%Z3_VERSION%-x64-win.zip -o z3-%Z3_VERSION%-win.zip
7z x z3-%Z3_VERSION%-win.zip -oexternals -r -y
move externals\z3-%Z3_VERSION%-x64-win externals\z3
env:
# see https://github.com/Z3Prover/z3/releases:
Z3_VERSION: 4.8.9
- name: Install Qt
uses: jurplel/install-qt-action@v2