Merge 545566cb0c into 857316ff00

2026-02-15 20:18:36 +08:00 · 2026-02-15 20:18:36 +08:00 · 5a55206e59
parent 857316ff00 545566cb0c
commit 5a55206e59
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",