[Pkg-ocaml-maint-commits] [SCM] galax packaging branch, master, updated. debian/1.1-9-3-g78772d9

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 436ffc014a6907d71b4887c2c817befbcb014834
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Nov 11 00:42:16 2011 +0100

    Fix configure on hurd (Closes: #647765)

diff --git a/debian/patches/0008-Fix-configure-for-hurd.patch b/debian/patches/0008-Fix-configure-for-hurd.patch
new file mode 100644
index 0000000..d349fe4
--- /dev/null
+++ b/debian/patches/0008-Fix-configure-for-hurd.patch
@@ -0,0 +1,24 @@
+From: Pino Toscano <pino at debian.org>
+Date: Fri, 11 Nov 2011 00:40:27 +0100
+Subject: Fix configure for hurd
+
+Bug-Debian: bugs.debian.org/cgi-bin/bugreport.cgi?bug=647765
+Signed-off-by: Stephane Glondu <steph at glondu.net>
+---
+ configure |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/configure b/configure
+index 9e46c10..cee1a25 100755
+--- a/configure
++++ b/configure
+@@ -1312,7 +1312,7 @@ fi
+ echo "Setting commands for host: $host"
+ 
+ case "$host" in
+-	*linux*|*freebsd*|*osf*|*solaris*|*irix*)
++	*linux*|*freebsd*|*osf*|*solaris*|*irix*|*-*-gnu*)
+ 		arch_EXE=
+ 		arch_DLL=.so
+ 		arch_JNIDLL=$arch_DLL
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 9ec862a..3815ff7 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,3 +5,4 @@
 0005-Fix-some-typos.patch
 0006-Compile-with-ocamlnet-3.3.5.patch
 0007-Fix-build-with-camomile-0.8.3.patch
+0008-Fix-configure-for-hurd.patch

-- 
galax packaging