From 048de2605bbb794cbebf65a17e296c8086f19a41 Mon Sep 17 00:00:00 2001
From: Simon Scatton <sscatton@nvidia.com>
Date: Tue, 14 Jul 2026 15:32:58 +0200
Subject: [PATCH] fix(bazel): pin CMake library installs to lib

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.
---
 BUILD.bazel | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/BUILD.bazel b/BUILD.bazel
index ef78b6e83e..ab99f75e5f 100644
--- a/BUILD.bazel
+++ b/BUILD.bazel
@@ -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",
     ],