mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 09:55:19 +00:00
31 lines
1.6 KiB
YAML
31 lines
1.6 KiB
YAML
|
|
variables:
|
|
cmakeStdArgs: '-DZ3_BUILD_DOTNET_BINDINGS=True -DZ3_BUILD_JAVA_BINDINGS=True -DZ3_BUILD_PYTHON_BINDINGS=True -G "Ninja" ../'
|
|
asanEnv: 'CXXFLAGS="${CXXFLAGS} -fsanitize=address -fno-omit-frame-pointer" CFLAGS="${CFLAGS} -fsanitize=address -fno-omit-frame-pointer"'
|
|
ubsanEnv: 'CXXFLAGS="${CXXFLAGS} -fsanitize=undefined" CFLAGS="${CFLAGS} -fsanitize=undefined"'
|
|
msanEnv: 'CC=clang LDFLAGS="-L../libcxx/libcxx_msan/lib -lc++abi -Wl,-rpath=../libcxx/libcxx_msan/lib" CXX=clang++ CXXFLAGS="${CXXFLAGS} -stdlib=libc++ -fsanitize-memory-track-origins -fsanitize=memory -fPIE -fno-omit-frame-pointer -g -O2" CFLAGS="${CFLAGS} -stdlib=libc -fsanitize=memory -fsanitize-memory-track-origins -fno-omit-frame-pointer -g -O2"'
|
|
|
|
jobs:
|
|
|
|
- job: "MacOSCMake"
|
|
displayName: "MacOS build with CMake"
|
|
pool:
|
|
vmImage: "macOS-10.14"
|
|
steps:
|
|
- script: brew install ninja
|
|
- script: brew cask install julia
|
|
- 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\", \"JlCxx\"))")
|
|
set -e
|
|
mkdir build
|
|
cd build
|
|
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 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
|