From: Stephane Glondu <steph@glondu.net>
Date: Wed, 24 Jul 2019 07:29:30 +0000 (+0200)
Subject: Add support for Debian's armhf in configure.ac
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~32
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=7b53528a8faef71130b5abd79959ad33334eb336;p=ocaml.git

Add support for Debian's armhf in configure.ac
---

diff --git a/debian/patches/0006-Add-support-for-Debian-s-armhf-in-configure.ac.patch b/debian/patches/0006-Add-support-for-Debian-s-armhf-in-configure.ac.patch
new file mode 100644
index 00000000..ae7d3b56
--- /dev/null
+++ b/debian/patches/0006-Add-support-for-Debian-s-armhf-in-configure.ac.patch
@@ -0,0 +1,21 @@
+From: Stephane Glondu <steph@glondu.net>
+Date: Wed, 24 Jul 2019 09:29:16 +0200
+Subject: Add support for Debian's armhf in configure.ac
+
+---
+ configure.ac | 2 ++
+ 1 file changed, 2 insertions(+)
+
+diff --git a/configure.ac b/configure.ac
+index 70bd63f..ca972d0 100644
+--- a/configure.ac
++++ b/configure.ac
+@@ -871,6 +871,8 @@ AS_CASE([$host],
+     [arch=arm; model=armv5te; system=linux_eabi],
+   [armv5*-*-linux-gnueabi],
+     [arch=arm; model=armv5; system=linux_eabi],
++  [arm*-*-linux-gnueabihf],
++    [arch=arm; system=linux_eabihf],
+   [arm*-*-linux-gnueabi],
+     [arch=arm; system=linux_eabi],
+   [arm*-*-openbsd*],
diff --git a/debian/patches/series b/debian/patches/series
index 45629306..2bf39400 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,3 +3,4 @@
 0003-Fix-in-configure.am.patch
 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch
+0006-Add-support-for-Debian-s-armhf-in-configure.ac.patch