install Julia for macos build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 3, 2024 · f5db6bf · f5db6bf
1 parent e58eb9f
commit f5db6bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -245,7 +245,7 @@ jobs:
     vmImage: "macOS-latest"
   steps:
     - script: brew install ninja
-#   - script: brew install --cask julia
+    - script: brew install --cask julia
     - script: |
         julia -e "using Pkg; Pkg.add(PackageSpec(name=\"libcxxwrap_julia_jll\"))"
         JlCxxDir=$(julia -e "using libcxxwrap_julia_jll; println(joinpath(dirname(libcxxwrap_julia_jll.libcxxwrap_julia_path), \"cmake\", \"JlCxx\"))")