diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 3db84ce71..6c1cac8d5 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -5,7 +5,6 @@ variables: cmakeNet: '-DZ3_BUILD_DOTNET_BINDINGS=True' cmakePy: '-DZ3_BUILD_PYTHON_BINDINGS=True' cmakeStdArgs: '-DZ3_BUILD_DOTNET_BINDINGS=True -DZ3_BUILD_JAVA_BINDINGS=True -DZ3_BUILD_PYTHON_BINDINGS=True -G "Ninja" ../' - cmakeCovArgs: '-DCMAKE_INSTALL_PREFIX=./install -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"' @@ -150,29 +149,6 @@ jobs: # - template: scripts/test-java-cmake.yml - ${{if eq(variables['runTests'], 'True')}}: - template: scripts/test-regressions.yml - - -- job: "Ubuntu16CMakeCoverage" - displayName: "Ubuntu build - cmake w/ coverage" - pool: - vmImage: "ubuntu-latest" - steps: - - script: sudo apt-get install ninja-build - - script: | - set -e - mkdir build - cd build - CXXFLAGS=--coverage LDFLAGS=-lgcov CC=clang CXX=clang++ cmake -DCMAKE_BUILD_TYPE=Debug $(cmakeCovArgs) - ninja - ninja test-z3 - ninja install - cd .. - - script: | - cd build - ./test-z3 -a - cd .. - - template: scripts/test-examples-cmake.yml - - template: scripts/test-regressions-coverage.yml - job: "WindowsLatest"