GH-15023: [CI][Packaging][Java] Force to use libz3.a with Homebrew (#…

…15024) * Closes: #15023 Authored-by: Sutou Kouhei <[email protected]> Signed-off-by: Sutou Kouhei <[email protected]>
apache · Dec 20, 2022 · 09453f9 · 09453f9
1 parent d18412e
commit 09453f9
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/dev/tasks/java-jars/github.yml b/dev/tasks/java-jars/github.yml
@@ -75,6 +75,17 @@ jobs:
  run: pip install -e arrow/dev/archery[all]
  - name: Install dependencies
  run: |
+ # We want to use llvm@14 to avoid shared z3
+ # dependency. llvm@14 doesn't depend on z3 and llvm depends
+ # on z3. And Homebrew's z3 provides only shared library. It
+ # doesn't provides static z3 because z3's CMake doesn't accept
+ # building both shared and static libraries at once.
+ # See also: Z3_BUILD_LIBZ3_SHARED in
+ # https:/Z3Prover/z3/blob/master/README-CMake.md
+ #
+ # If llvm is installed, Apache Arrow C++ uses llvm rather than
+ # llvm@14 because llvm is newer than llvm@14.
+ brew uninstall llvm || :
  brew bundle --file=arrow/cpp/Brewfile
  # We want to link aws-sdk-cpp statically but Homebrew's
  # aws-sdk-cpp provides only shared library. If we have