Disable runtime_events lib on armel

diff --git a/debian/rules b/debian/rules
index c18dc4574fd9bb6a35076d2fab65529e7f7222da..ad2663eadbea14998926b00605c7f6ea4917c821 100755 (executable)
--- 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