diff --git a/BUILD b/BUILD
index 0942cb7e..8be2ebbd 100644
--- a/BUILD
+++ b/BUILD
@@ -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",