From: Stéphane Glondu <glondu@debian.org>
Date: Fri, 21 Jun 2024 13:28:04 +0000 (+0200)
Subject: Revert "Disable runtime_events lib on armel"
X-Git-Tag: archive/raspbian/5.2.0-2+rpi1^2~27
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=20d8ead60437e43accae467e0b81d72b57b4f81d;p=ocaml.git

Revert "Disable runtime_events lib on armel"

This reverts commit a7e022d40c359932a76494ea38013fb604b6642c.
---

diff --git a/debian/rules b/debian/rules
index ad2663ea..c18dc457 100755
--- a/debian/rules
+++ b/debian/rules
@@ -67,11 +67,6 @@ 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