From: Stéphane Glondu <glondu@debian.org>
Date: Thu, 20 Jun 2024 01:01:17 +0000 (+0200)
Subject: Disable runtime_events lib on armel
X-Git-Tag: archive/raspbian/5.2.0-2+rpi1^2~34
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=a7e022d40c359932a76494ea38013fb604b6642c;p=ocaml.git

Disable runtime_events lib on armel
---

diff --git a/debian/rules b/debian/rules
index c18dc457..ad2663ea 100755
--- a/debian/rules
+++ b/debian/rules
@@ -67,6 +67,11 @@ ifeq (,$(OCAML_OPT_ARCH))
 CONFIGURE_OPTS += --disable-native-compiler
 endif
 
+# See https://github.com/ocaml/ocaml/issues/13234
+ifeq (armel,$(DEB_BUILD_ARCH))
+CONFIGURE_OPTS += --disable-runtime-events-lib
+endif
+
 # fma does not work on m68k, enable emulation as instructed by configure script
 ifeq (m68k,$(DEB_BUILD_ARCH))
 CONFIGURE_OPTS += --enable-imprecise-c99-float-ops