diff --git a/runtime32/dune b/runtime32/dune
index c81d429cd..854ed9ac2 100644
--- a/runtime32/dune
+++ b/runtime32/dune
@@ -10,6 +10,8 @@
 
 (install
  (section share)
+ (enabled_if
+  (= %{system} "linux"))
  (files
   (runtime.a as x32/runtime.a)
   (Std.i as x32/Std.i)))