From 2e1ce5cea806fe6bb3566f88f8f64c33afe40333 Mon Sep 17 00:00:00 2001
From: Henner Zeller <h.zeller@acm.org>
Date: Mon, 27 Jul 2026 17:51:54 +0200
Subject: [PATCH] Instead of using the raw generated StaConfig, provide it via
 a library.

The StaConfig.hh is often included as bare file without the fully
qualified path.
If we provide it in a library, we can provide the `includes=[]`
for the header to be found.
(of course, we ideally want the proper fully qualified path, but
that takes a while until we're there).

Signed-off-by: Henner Zeller <h.zeller@acm.org>
---
 BUILD.bazel | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/BUILD.bazel b/BUILD.bazel
index 998f56db..7f8f88e6 100644
--- a/BUILD.bazel
+++ b/BUILD.bazel
@@ -184,6 +184,15 @@ genrule(
     visibility = ["//:__subpackages__"],
 )
 
+cc_library(
+    name = "config",
+    hdrs = [":StaConfig"],
+    includes = [
+        "include",
+        "include/sta",
+    ],
+)
+
 filegroup(
     name = "sta_swig_files",
     srcs = [
@@ -291,6 +300,7 @@ cc_binary(
     malloc = "@tcmalloc//tcmalloc",
     visibility = ["//visibility:public"],
     deps = [
+        ":config",
         ":opensta_lib",
         "//:tcl_readline_setup",
         "//bazel:tcl_library_init",
@@ -334,7 +344,6 @@ cc_library(
         ],
     ) + [
         "app/StaMain.cc",
-        ":StaConfig",
     ] + select({
         "@platforms//os:linux": ["util/MachineLinux.cc"],
         "@platforms//os:osx": ["util/MachineApple.cc"],
@@ -391,6 +400,7 @@ cc_library(
     ],
     visibility = ["//:__subpackages__"],
     deps = [
+        ":config",
         "@cudd",
         "@eigen",  # keep. Is used, but with <>-includes
         "@openmp",  # keep. Is needed ? Nobody includes omp.h