From a7e022d40c359932a76494ea38013fb604b6642c Mon Sep 17 00:00:00 2001
From: =?utf8?q?St=C3=A9phane=20Glondu?= <glondu@debian.org>
Date: Thu, 20 Jun 2024 03:01:17 +0200
Subject: [PATCH] Disable runtime_events lib on armel

---
 debian/rules | 5 +++++
 1 file changed, 5 insertions(+)

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
-- 
2.30.2