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 (file)
index 0000000..28268ed
--- /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 5638c3d04473f8f22c40fee554ce8235df261148..f14fc52345608dcd5578c1bfaea32de658459f7b 100644 (file)
--- 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 ff5997b82edbda2ff63976c56e3634026cd89c9d..c9548d8307e4bead6ecd55bbb64473d810e92f12 100755 (executable)
--- 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 $@