Skip to content

Commit 3626027

Browse files
authored
flambda-backend: Disable otherlibs/beta/ on arm64 for now (#2582)
1 parent feb3ce3 commit 3626027

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

otherlibs/beta/dune

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,8 @@
1616
(name beta)
1717
(wrapped false)
1818
(modes byte native)
19+
(enabled_if
20+
(= %{architecture} "amd64"))
1921
(flags
2022
(-strict-sequence
2123
-principal
@@ -35,6 +37,8 @@
3537
(:standard -linkall)))
3638

3739
(install
40+
(enabled_if
41+
(= %{architecture} "amd64"))
3842
(files
3943
(beta.cmxa as beta/beta.cmxa)
4044
(beta.a as beta/beta.a)

0 commit comments

Comments
 (0)