From 836ff51932dbffe8e24d031b2e0551b9c46e4e6b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 12 Jun 2019 08:31:28 -0700 Subject: [PATCH] remove dotnet from cmake Mac build Signed-off-by: Nikolaj Bjorner --- azure-pipelines.yml | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index e24b10ba7..3fa7114fd 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -125,7 +125,7 @@ jobs: set -e mkdir build cd build - CC=clang CXX=clang++ cmake $(cmakeStdArgs) + CC=clang CXX=clang++ cmake -DBUILD_JAVA_BINDINGS=True -DBUILD_PYTHON_BINDINGS=True -G "Ninja" ../ ninja ninja test-z3 ninja c_example @@ -136,11 +136,7 @@ jobs: examples/cpp_example_build_dir/cpp_example examples/tptp_build_dir/z3_tptp5 -help examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt - mkdir -p examples/java - cp ../examples/java/JavaExample.java examples/java/ - javac examples/java/Javaexamplejava -classpath com.microsoft.z3.jar - export LD_LIBRARY_PATH=$(pwd):${LD_LIBRARY_PATH} - java -cp .:examples/java:com.microsoft.z3.jar JavaExample cd .. - template: scripts/test-z3.yml - template: scripts/regression-test.yml +# - template: scripts/test-java-cmake.yml