Merge 545566cb0c into 9c9b5659d6

2025-12-09 18:39:32 -08:00 · 2025-12-09 18:39:32 -08:00 · 36e076996e
parent 9c9b5659d6 545566cb0c
commit 36e076996e
1 changed files with 4 additions and 1 deletions
--- a/5
+++ b/5
@ -390,7 +390,10 @@ cc_library(
        "util",
        "verilog",
    ],
-    textual_hdrs = ["util/MachineLinux.cc"],
+    textual_hdrs = select({
+        "@platforms//os:linux": ["util/MachineLinux.cc"],
+        "@platforms//os:macos": ["util/MachineApple.cc"],
+    }),
    visibility = ["//:__subpackages__"],
    deps = [
        "@cudd",