From 303819db267efdeb0f9870b557764458be7e9e6c Mon Sep 17 00:00:00 2001 From: danyaberezun Date: Fri, 28 Feb 2025 18:06:09 +0100 Subject: [PATCH] try add enable if to install --- runtime32/dune | 2 ++ 1 file changed, 2 insertions(+) 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)))