From: Stephane Glondu <steph@glondu.net>
Date: Wed, 10 Jul 2019 14:45:11 +0000 (+0200)
Subject: Fix in configure.am
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~52
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=46bb906798da5eb596bab19f09667558278f0daf;p=ocaml.git

Fix in configure.am
---

diff --git a/debian/patches/0003-Fix-in-configure.am.patch b/debian/patches/0003-Fix-in-configure.am.patch
new file mode 100644
index 00000000..28268ed2
--- /dev/null
+++ b/debian/patches/0003-Fix-in-configure.am.patch
@@ -0,0 +1,21 @@
+From: Stephane Glondu <steph@glondu.net>
+Date: Wed, 10 Jul 2019 16:41:51 +0200
+Subject: Fix in configure.am
+
+---
+ configure.ac | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/configure.ac b/configure.ac
+index 5bb0611..209870e 100644
+--- a/configure.ac
++++ b/configure.ac
+@@ -954,7 +954,7 @@ AS_CASE([$host],
+   [*-*-mingw32|*-pc-windows], [asppprofflags=''],
+   [asppprofflags='-DPROFILING'])
+ 
+-AS_IF([test -n "$host_alias"], [toolpref="${host}-"], [toolpref=""])
++AS_IF([test -n "$host_alias"], [toolpref="${host_alias}-"], [toolpref=""])
+ 
+ # We first compute default values for as and aspp
+ # If values have been given by the user then they take precedence over
diff --git a/debian/patches/series b/debian/patches/series
index 5638c3d0..f14fc523 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 0003-Don-t-use-rpath.patch
 0004-Put-manpages-in-section-3o-instead-of-3.patch
+0003-Fix-in-configure.am.patch
diff --git a/debian/rules b/debian/rules
index ff5997b8..c9548d83 100755
--- a/debian/rules
+++ b/debian/rules
@@ -119,6 +119,7 @@ endif
 override_dh_auto_configure: config-stamp ocamlinit-stamp
 
 config-stamp: pre-config-stamp
+	./autogen
 	./configure $(CONFIGURE_OPTS)
 	touch $@