suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Upgrade to Z3 4.8.5 for static analysis

Browse Source
This commit is contained in:
Paulo Matos 2019-06-10 17:21:33 +02:00 committed by GitHub
parent d75b525170
commit 451a535fc6
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
.gitlab-ci.yml
View File

@ -21,10 +21,10 @@ prepare-cache:llvm:
script:
- if [ -d $INSTALL_DIR ]; then exit 0; fi
- apt-get update && apt-get install -y gcc git cmake wget unzip g++ python libxml2-dev
- wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.4/z3-4.8.4.d6df51951f4c-x64-debian-8.11.zip
- unzip z3-4.8.4.d6df51951f4c-x64-debian-8.11.zip
- wget https://github.com/Z3Prover/z3/releases/download/Z3-4.8.5/z3-4.8.5-x64-debian-8.11.zip
- unzip z3-4.8.5-x64-debian-8.11.zip
- mkdir $INSTALL_DIR
- mv z3-4.8.4.d6df51951f4c-x64-debian-8.11/bin z3-4.8.4.d6df51951f4c-x64-debian-8.11/include $INSTALL_DIR
- mv z3-4.8.5-x64-debian-8.11/bin z3-4.8.5-x64-debian-8.11/include $INSTALL_DIR
- export PATH=$INSTALL_DIR/bin:$PATH
- git clone -b release/8.x https://github.com/llvm/llvm-project.git
- cd llvm-project