mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

Restoring commented out pipelines

Browse source
This commit is contained in:
Everett Maus 2019-08-09 09:17:17 -07:00
parent d01aa01ec9
commit f1a713a116
1 changed files with 110 additions and 87 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

197
azure-pipelines.yml
View file

@ -8,27 +8,27 @@ variables:
jobs: jobs:
#- job: "LinuxPythonDebug" - job: "LinuxPythonDebug"
# displayName: "Ubuntu build - python make - debug" displayName: "Ubuntu build - python make - debug"
# pool: pool:
# vmImage: "Ubuntu-16.04" vmImage: "Ubuntu-16.04"
# strategy: strategy:
# matrix: matrix:
# MT: MT:
# cmdLine: 'python scripts/mk_make.py -d --java --dotnet' cmdLine: 'python scripts/mk_make.py -d --java --dotnet'
# ST: ST:
# cmdLine: './configure --single-threaded' cmdLine: './configure --single-threaded'
# steps: steps:
# - script: $(cmdLine) - script: $(cmdLine)
# - script: | - script: |
# set -e set -e
# cd build cd build
# make -j3 make -j3
# make -j3 examples make -j3 examples
# make -j3 test-z3 make -j3 test-z3
# cd .. cd ..
# - template: scripts/test-z3.yml - template: scripts/test-z3.yml
# - template: scripts/test-regressions.yml - template: scripts/test-regressions.yml
# ./cpp_example # ./cpp_example
# ./c_example # ./c_example
@ -39,38 +39,16 @@ jobs:
# build documentation # build documentation
# Asan, ubsan, msan # Asan, ubsan, msan
- job: "LinuxCMake" - job: "LinuxMSan"
displayName: "Ubuntu build - cmake" displayName: "Ubuntu build - cmake"
pool: pool:
vmImage: "Ubuntu-16.04" vmImage: "Ubuntu-16.04"
strategy: strategy:
matrix: matrix:
# debugClang:
# cmdLine: 'CC=clang CXX=clang++ cmake $(cmakeStdArgs)'
# runUnitTest: 'True'
# runExample: 'True'
# releaseClang:
# cmdLine: 'CC=clang CXX=clang++ cmake -DCMAKE_BUILD_TYPE=Release $(cmakeStdArgs)'
# runUnitTest: 'True'
# runExample: 'True'
# debugGcc:
# cmdLine: 'CC=gcc CXX=g++ cmake $(cmakeStdArgs)'
# runUnitTest: 'True'
# runExample: 'True'
# releaseSTGcc:
# cmdLine: 'CC=gcc CXX=g++ cmake -DCMAKE_BUILD_TYPE=Release -DSINGLE_THREADED=ON $(cmakeStdArgs)'
# runUnitTest: 'True'
# runExample: 'True'
msanClang: msanClang:
cmdLine: '$(msanEnv) cmake $(cmakeStdArgs)' cmdLine: '$(msanEnv) cmake $(cmakeStdArgs)'
runUnitTest: 'True' runUnitTest: 'True'
runExample: 'False' # Examples don't seem to build with MSAN runExample: 'False' # Examples don't seem to build with MSAN
# gccX86:
# cmdLine: 'CXXFLAGS="${CXXFLAGS} -m32" CFLAGS="${CFLAGS} -m32" CC=gcc-5 CXX=g++-5 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo $(cmakeStdArgs)'
# runUnitTest: 'True'
# asan:
# cmdLine: '$(asanEnv) cmake $(cmakeStdArgs)'
# runUnitTest: 'False'
steps: steps:
- script: sudo apt-get install ninja-build libc++-dev libc++abi-dev - script: sudo apt-get install ninja-build libc++-dev libc++abi-dev
- script: ./scripts/build_libcxx_msan.sh - script: ./scripts/build_libcxx_msan.sh
@ -94,47 +72,92 @@ jobs:
- template: scripts/test-regressions.yml - template: scripts/test-regressions.yml
#- job: "Windows2017" - job: "LinuxCMake"
# displayName: "Windows 2017 build" displayName: "Ubuntu build - cmake"
# pool: pool:
# vmImage: "vs2017-win2016" vmImage: "Ubuntu-16.04"
# steps: strategy:
# - script: scripts\vsts-vs2017.cmd x64 matrix:
debugClang:
#- job: "MacOS" cmdLine: 'CC=clang CXX=clang++ cmake $(cmakeStdArgs)'
# displayName: "MacOS build" runUnitTest: 'True'
# pool: releaseClang:
# vmImage: "macOS-10.14" cmdLine: 'CC=clang CXX=clang++ cmake -DCMAKE_BUILD_TYPE=Release $(cmakeStdArgs)'
# steps: runUnitTest: 'True'
# - script: python scripts/mk_make.py -d --java --dotnet debugGcc:
# - script: | cmdLine: 'CC=gcc CXX=g++ cmake $(cmakeStdArgs)'
# set -e runUnitTest: 'True'
# cd build releaseSTGcc:
# make -j3 cmdLine: 'CC=gcc CXX=g++ cmake -DCMAKE_BUILD_TYPE=Release -DSINGLE_THREADED=ON $(cmakeStdArgs)'
# make -j3 examples runUnitTest: 'True'
# make -j3 test-z3 # gccX86:
# ./cpp_example # cmdLine: 'CXXFLAGS="${CXXFLAGS} -m32" CFLAGS="${CFLAGS} -m32" CC=gcc-5 CXX=g++-5 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo $(cmakeStdArgs)'
# ./c_example # runUnitTest: 'True'
# cd .. # asan:
# - template: scripts/test-z3.yml # cmdLine: '$(asanEnv) cmake $(cmakeStdArgs)'
# - template: scripts/test-regressions.yml # runUnitTest: 'False'
steps:
- script: sudo apt-get install ninja-build
#- job: "MacOSCMake" - script: |
# displayName: "MacOS build with CMake" set -e
# pool: mkdir build
# vmImage: "macOS-10.14" cd build
# steps: $(cmdLine)
# - script: brew install ninja ninja
# - script: | ninja test-z3
# set -e cd ..
# mkdir build - script: |
# cd build cd build
# CC=clang CXX=clang++ cmake -DBUILD_JAVA_BINDINGS=True -DBUILD_PYTHON_BINDINGS=True -DBUILD_DOTNET_BINDINGS=False -G "Ninja" ../ ./test-z3 -a
# ninja cd ..
# ninja test-z3 condition: eq(variables['runUnitTest'], 'True')
# cd .. - template: scripts/test-examples-cmake.yml
# - template: scripts/test-z3.yml # - template: scripts/test-jupyter.yml
# - template: scripts/test-examples-cmake.yml
# - template: scripts/test-regressions.yml
# - template: scripts/test-java-cmake.yml # - template: scripts/test-java-cmake.yml
- template: scripts/test-regressions.yml
- job: "Windows2017"
displayName: "Windows 2017 build"
pool:
vmImage: "vs2017-win2016"
steps:
- script: scripts\vsts-vs2017.cmd x64
- job: "MacOS"
displayName: "MacOS build"
pool:
vmImage: "macOS-10.14"
steps:
- script: python scripts/mk_make.py -d --java --dotnet
- script: |
set -e
cd build
make -j3
make -j3 examples
make -j3 test-z3
./cpp_example
./c_example
cd ..
- template: scripts/test-z3.yml
- template: scripts/test-regressions.yml
- job: "MacOSCMake"
displayName: "MacOS build with CMake"
pool:
vmImage: "macOS-10.14"
steps:
- script: brew install ninja
- script: |
set -e
mkdir build
cd build
CC=clang CXX=clang++ cmake -DBUILD_JAVA_BINDINGS=True -DBUILD_PYTHON_BINDINGS=True -DBUILD_DOTNET_BINDINGS=False -G "Ninja" ../
ninja
ninja test-z3
cd ..
- template: scripts/test-z3.yml
- template: scripts/test-examples-cmake.yml
- template: scripts/test-regressions.yml
- template: scripts/test-java-cmake.yml