Revert "Disable runtime_events lib on armel"
authorStéphane Glondu <glondu@debian.org>
Fri, 21 Jun 2024 13:28:04 +0000 (15:28 +0200)
committerStéphane Glondu <glondu@debian.org>
Fri, 21 Jun 2024 13:28:04 +0000 (15:28 +0200)
This reverts commit a7e022d40c359932a76494ea38013fb604b6642c.

debian/rules

index ad2663eadbea14998926b00605c7f6ea4917c821..c18dc4574fd9bb6a35076d2fab65529e7f7222da 100755 (executable)
@@ -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