diff -Nru ocaml-4.02.3/debian/changelog ocaml-4.02.3/debian/changelog
--- ocaml-4.02.3/debian/changelog	2016-12-21 23:48:59.000000000 +0000
+++ ocaml-4.02.3/debian/changelog	2017-01-07 06:25:05.000000000 +0000
@@ -1,3 +1,11 @@
+ocaml (4.02.3-9+rpi1) stretch-staging; urgency=medium
+
+  [changes brought forward from 4.01.0-5+rpi1 by Peter Michael Green <plugwash@raspbian.org> at Sat, 24 Jan 2015 10:29:46 +0000]
+  * Add logic in debian/rules to detect raspbian and give the upstream 
+    configure script the correct instructions.
+
+ -- Raspbian forward porter <root@raspbian.org>  Sat, 07 Jan 2017 06:25:05 +0000
+
 ocaml (4.02.3-9) unstable; urgency=medium
 
   * obey hardening LDFLAGS (Closes: #792502). Thanks to Török Edwin
diff -Nru ocaml-4.02.3/debian/rules ocaml-4.02.3/debian/rules
--- ocaml-4.02.3/debian/rules	2016-12-21 23:08:46.000000000 +0000
+++ ocaml-4.02.3/debian/rules	2017-01-07 06:25:05.000000000 +0000
@@ -64,8 +64,19 @@
 export DEB_BUILD_MAINT_OPTIONS=hardening=+bindnow
 export CCLINKFLAGS=$(shell dpkg-buildflags --get LDFLAGS)
 
-CONFIGURE_OPTS := \
-  --host $(DEB_BUILD_GNU_TYPE)\
+ifeq ($(DEB_BUILD_ARCH),armhf)
+  IS_RASPBIAN := $(shell dpkg-vendor --derives-from Raspbian && echo yes || echo no)
+else
+  IS_RASPBIAN := no
+endif
+
+ifeq ($(IS_RASPBIAN),yes)
+  CONFIGURE_OPTS := --host armv6-unknown-linux-gnueabihf
+else
+  CONFIGURE_OPTS := --host $(DEB_BUILD_GNU_TYPE)
+endif 
+
+CONFIGURE_OPTS += \
   --with-pthread -prefix $(DEB_TEST_BUILD_PREFIX)/usr \
   -libdir $(DEB_TEST_BUILD_PREFIX)$(OCAML_STDLIB_DIR) \
   -x11lib "$(shell pkg-config --variable=libdir x11)" \