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

Update azure-pipelines.yml for Azure Pipelines

Browse source
This commit is contained in:
ahumenberger 2020-03-08 16:30:49 +01:00
parent 592499eaa0
commit f24740c595
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
azure-pipelines.yml
View file

@ -12,12 +12,14 @@ jobs:
pool: pool:
vmImage: "macOS-10.14" vmImage: "macOS-10.14"
steps: steps:
- script: brew install ninja - script: brew install ninja julia
- script: | - script: |
julia -e "using Pkg; Pkg.add(\"libcxxwrap_julia_jll\")"
JlCxxDir=$(julia -e "using libcxxwrap_julia_jll; println(joinpath(dirname(libcxxwrap_julia_jll.libcxxwrap_julia_path), \"cmake\"))")
set -e set -e
mkdir build mkdir build
cd build cd build
CC=clang CXX=clang++ cmake -DZ3_BUILD_JULIA_BINDINGS=True -DZ3_BUILD_JAVA_BINDINGS=True -DZ3_BUILD_PYTHON_BINDINGS=True -DZ3_BUILD_DOTNET_BINDINGS=False -G "Ninja" ../ CC=clang CXX=clang++ cmake -DJlCxx_DIR=$JlCxxDir -DZ3_BUILD_JULIA_BINDINGS=True -DZ3_BUILD_JAVA_BINDINGS=True -DZ3_BUILD_PYTHON_BINDINGS=True -DZ3_BUILD_DOTNET_BINDINGS=False -G "Ninja" ../
ninja ninja
ninja test-z3 ninja test-z3
cd .. cd ..