Update test-pr-macos.yml

runtimeverification · Sep 28, 2023 · c35c1f5 · c35c1f5
1 parent 64edbb0
commit c35c1f5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/test-pr-macos.yml b/.github/workflows/test-pr-macos.yml
@@ -61,6 +61,8 @@ jobs:
            export PATH="$(brew --prefix openjdk)/bin:$PATH"
            echo $(which llvm-config)
            export LLVM_CONFIG=$(which llvm-config)
+           export LLVM_DIR="$(brew --prefix llvm@15)/lib/cmake/"
+           mvn package -T1C
          # brew install direnv
          # cp macos-envrc .envrc
          # eval "$(direnv hook bash)"