From f24740c5952adf1444b4c4de633c897e8001ad6d Mon Sep 17 00:00:00 2001
From: ahumenberger <ahumenberger@gmail.com>
Date: Sun, 8 Mar 2020 16:30:49 +0100
Subject: [PATCH] Update azure-pipelines.yml for Azure Pipelines

---
 azure-pipelines.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 1a023e1a2..30e1888a6 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -12,12 +12,14 @@ jobs:
   pool:
     vmImage: "macOS-10.14"
   steps:
-    - script: brew install ninja
+    - script: brew install ninja 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\"))")
         set -e
         mkdir 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 test-z3
         cd ..