From f5db6bf92b88a9648ae73de38d7a9989233a0922 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 3 Oct 2024 12:48:15 -0700 Subject: [PATCH] install Julia for macos build Signed-off-by: Nikolaj Bjorner --- azure-pipelines.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index d12872f07a3..938f63507dd 100644 --- 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\"))")