mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-14 19:15:41 +00:00
Code Activity

fix(bazel): pin CMake library installs to lib (#10126)

Browse source 
rules_foreign_cc expects libraries under its default lib output
directory. GNUInstallDirs may instead select lib64, causing Bazel to
reject an otherwise successful CMake build because its declared output
is missing.

Share the default CMake arguments between the static and dynamic targets
and set CMAKE_INSTALL_LIBDIR to lib.
This commit is contained in:
Simon Scatton 2026-07-14 17:30:48 +02:00 • committed by GitHub
parent 98c8f2935e
commit 25e0e6f780
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 7 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

11
BUILD.bazel
View file

@ -16,10 +16,14 @@ filegroup(
srcs = glob(["**"]),
)
_DEFAULT_CMAKE_GENERATE_ARGS = [
"-G Ninja",
"-D CMAKE_INSTALL_LIBDIR=lib", # Matches rules_foreign_cc's default out_lib_dir.
]
cmake(
name = "z3_dynamic",
generate_args = [
"-G Ninja",
generate_args = _DEFAULT_CMAKE_GENERATE_ARGS + [
"-D Z3_EXPORTED_TARGETS=", # prevents installation, leaving symlinks between dylibs intact on copy
],
lib_source = ":all_files",
@ -44,8 +48,7 @@ cmake(
cmake(
name = "z3_static",
generate_args = [
"-G Ninja",
generate_args = _DEFAULT_CMAKE_GENERATE_ARGS + [
"-D BUILD_SHARED_LIBS=OFF",
"-D Z3_BUILD_LIBZ3_SHARED=OFF",
],