Bug#711727: cloog-ppl: please update config.guess/config.sub for arm64

[Colin Watson <cjwatson@ubuntu.com>]

Package: cloog-ppl
Version: 0.16.1-1
Severity: normal
Tags: patch
User: debian-arm@lists.debian.org
Usertags: arm64

cloog-ppl fails to build on arm64 due to an out-of-date
config.guess/config.sub.  It actually build-depends on autotools-dev but
doesn't seem to use it.  Adding the relevant dh_autotools-dev_* commands
is enough to fix this.

  * Use dh_autotools-dev_* to update config.guess/config.sub for arm64.

diff -Nru cloog-ppl-0.16.1/debian/rules cloog-ppl-0.16.1/debian/rules
--- cloog-ppl-0.16.1/debian/rules	2013-01-28 02:05:00.000000000 +0000
+++ cloog-ppl-0.16.1/debian/rules	2013-06-09 01:39:07.000000000 +0100
@@ -18,6 +18,7 @@
 configure: configure-stamp
 configure-stamp:
 	dh_testdir
+	dh_autotools-dev_updateconfig
 	chmod +x configure
 #	./configure $(CROSS) \
 #		--prefix=/usr \
@@ -48,6 +49,7 @@
 	rm -f *-stamp 
 	[ ! -f Makefile ] || $(MAKE) distclean
 	rm -f doc/*.info
+	dh_autotools-dev_restoreconfig
 	dh_clean 
 
 install: build

Thanks,

-- 
Colin Watson                                       [cjwatson@ubuntu.com]