From 536f2a1e25cc5543835d6318f2c6942b87ce898c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 6 Jun 2019 20:33:41 -0700
Subject: [PATCH] add cmake pipe to mac build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 azure-pipelines.yml | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 579c1a024..376785579 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -83,6 +83,38 @@ jobs:
 
 
 
+- job: "MacOSCMake"
+  displayName: "MacOS build with CMake"
+  pool:
+    vmImage: "macOS-10.14"
+  steps:
+    - script: brew install ninja
+    - script: |
+        mkdir build
+        cd build
+        CC=clang CXX=clang++ cmake -DBUILD_DOTNET_BINDINGS=True -DBUILD_JAVA_BINDINGS=True -G "Ninja" ../
+        ninja
+        ninja test-z3
+        ninja c_example
+        ninja cpp_example
+        ninja z3_tptp5
+        ninja c_maxsat_example
+        examples/c_example_build_dir/c_example
+        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
+        # TBD: add python examples
+        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
+        ./test-z3 -a
+        cd ..
+    - script: git clone https://github.com/z3prover/z3test z3test
+    - script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2    
+
+