Bug#658841: Patch for isl multiarch problem

[Gregor Jasny <gjasny@googlemail.com>]

merge 658841 670004
tags 658841 + patch
thanks

Hello,

attached you'll find the debdiff of my proposed fix. I choose to remove 
the generator line after the build. The other approach to modify the m4 
and don't write the generator line in the first place was more intrusive 
because of the needed autoreconf.

Thanks,
Gregor

PS: I also uploaded to mentors if you prefer to grab the already patched 
package
diff -Nru isl-0.08/debian/changelog isl-0.08/debian/changelog
--- isl-0.08/debian/changelog	2011-12-15 17:50:34.000000000 +0100
+++ isl-0.08/debian/changelog	2012-06-27 21:02:10.000000000 +0200
@@ -1,3 +1,11 @@
+isl (0.08-1.1) unstable; urgency=low
+
+  * Non-maintainer upload.
+  * Note about stdint.h generator differs among architectures
+    and breaks multiarch (Closes: #658841)
+
+ -- Gregor Jasny <gjasny@googlemail.com>  Wed, 27 Jun 2012 21:00:51 +0200
+
 isl (0.08-1) unstable; urgency=low
 
   * New upstream version.
diff -Nru isl-0.08/debian/rules isl-0.08/debian/rules
--- isl-0.08/debian/rules	2011-12-15 18:23:34.000000000 +0100
+++ isl-0.08/debian/rules	2012-06-27 21:07:54.000000000 +0200
@@ -9,6 +9,10 @@
 override_dh_auto_configure:
 	dh_auto_configure -v -- --libdir=/usr/lib/$(DEB_HOST_MULTIARCH)
 
+override_dh_auto_install:
+	dh_auto_install --
+	sed -i -e 's,/.*/,,' debian/tmp/usr/include/isl/stdint.h
+
 override_dh_strip:
 	dh_strip --dbg-package=libisl-dbg