Update azure-pipelines.yml for Azure Pipelines

Z3Prover · Mar 8, 2020 · 5aab9f9 · 5aab9f9
1 parent cfccd7c
commit 5aab9f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -16,7 +16,7 @@ jobs:
     - 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\"))")
+        JlCxxDir=$(julia -e "using libcxxwrap_julia_jll; println(joinpath(dirname(libcxxwrap_julia_jll.libcxxwrap_julia_path), \"cmake\", \"JlCxx\"))")
         set -e
         mkdir build
         cd build