Merge pull request #365 from hzeller/feature-20260525-keep-inc

Explicitly mark dependencies as keep for bracket-headers used.
2026-05-26 14:24:13 +00:00 · 2026-05-26 14:24:13 +00:00 · 66c2930332
parent 8575070292 224907d153
commit 66c2930332
1 changed files with 4 additions and 4 deletions
--- a/8
+++ b/8
@ -396,11 +396,11 @@ cc_library(
    visibility = ["//:__subpackages__"],
    deps = [
        "@cudd",
-        "@eigen",
-        "@openmp",
+        "@eigen",  # keep. Is used, but with <>-includes
+        "@openmp",  # keep. Is needed ? Nobody includes omp.h
        "@rules_flex//flex:current_flex_toolchain",
-        "@tcl_lang//:tcl",
-        "@zlib",
+        "@tcl_lang//:tcl",  # keep. Is used, but with <>-includes
+        "@zlib",  # keep. Is used, but with <>-includes
    ],
 )