diff --git a/BUILD b/BUILD
index fd77c37e..2cdaf518 100644
--- a/BUILD
+++ b/BUILD
@@ -390,7 +390,10 @@ cc_library(
         "util",
         "verilog",
     ],
-    textual_hdrs = ["util/MachineLinux.cc"],
+    textual_hdrs = select({
+        "@platforms//os:osx": ["util/MachineApple.cc"],
+        "//conditions:default": ["util/MachineLinux.cc"],
+    }),
     visibility = ["//:__subpackages__"],
     deps = [
         "@cudd",