From 3626027779df24f8ca90e505bc619518c9fd3b10 Mon Sep 17 00:00:00 2001 From: Mark Shinwell Date: Wed, 15 May 2024 14:52:19 +0100 Subject: [PATCH] flambda-backend: Disable otherlibs/beta/ on arm64 for now (#2582) --- otherlibs/beta/dune | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/otherlibs/beta/dune b/otherlibs/beta/dune index e2d3476c56f..954f9aaddc1 100644 --- a/otherlibs/beta/dune +++ b/otherlibs/beta/dune @@ -16,6 +16,8 @@ (name beta) (wrapped false) (modes byte native) + (enabled_if + (= %{architecture} "amd64")) (flags (-strict-sequence -principal @@ -35,6 +37,8 @@ (:standard -linkall))) (install + (enabled_if + (= %{architecture} "amd64")) (files (beta.cmxa as beta/beta.cmxa) (beta.a as beta/beta.a)