+ocaml (4.05.0-10) UNRELEASED; urgency=medium
+
+ * Drop support for ocamlopt on armel as suggested by upstream.
+
+ -- Ximin Luo <infinity0@debian.org> Tue, 03 Oct 2017 23:36:43 +0200
+
ocaml (4.05.0-9) unstable; urgency=medium
* Upload to unstable. (Closes: #871990)
-amd64 arm64 armel armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 lpia powerpc ppc64 ppc64el sparc s390x
+amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 lpia powerpc ppc64 ppc64el sparc s390x
OCAML_ABI := $(OCAMLMAJOR).$(OCAMLMINOR)
OCAML_STDLIB_DIR := /usr/lib/ocaml
OCAML_NATIVE_ARCHS := $(shell cat debian/native-archs)
-OCAML_OPT_ARCH := $(filter $(DEB_BUILD_ARCH),$(OCAML_NATIVE_ARCHS))
+OCAML_OPT_ARCH := $(filter $(DEB_HOST_ARCH),$(OCAML_NATIVE_ARCHS))
OCAML_HAVE_OCAMLOPT := $(if $(OCAML_OPT_ARCH),yes,no)
OCAML_OCAMLDOC_DESTDIR_HTML =
-e "s%LIBDIR=.*$$%LIBDIR=\$$(PREFIX)/lib/ocaml%g" \
-e "s%STUBLIBDIR=.*$$%STUBLIBDIR=\$$(PREFIX)/lib/ocaml/stublibs%g"
+# Upstream recommends dropping support, see https://caml.inria.fr/mantis/view.php?id=7642
+ifneq (,$(filter $(DEB_HOST_ARCH),armel))
+CONFIGURE_OPTS += --no-native-compiler
+endif
+
%:
dh $@