Followup-For: Bug #793187 Hi Andreas,
do you plan to fix this issue for jessie, too? The next point release is probably in January. Attached is a suggested backport to jessie. Andreas
diff -Nru arb-6.0.2/debian/changelog arb-6.0.2/debian/changelog --- arb-6.0.2/debian/changelog 2014-09-09 09:12:14.000000000 +0200 +++ arb-6.0.2/debian/changelog 2015-12-09 07:32:10.000000000 +0100 @@ -1,3 +1,14 @@ +arb (6.0.2-1+deb8u1) jessie; urgency=medium + + [ Andreas Beckmann ] + * Non-maintainer upload. + + [ Andreas Tille ] + * Skip compiler version check at all + Closes: #793187 + + -- Andreas Beckmann <a...@debian.org> Wed, 09 Dec 2015 07:30:47 +0100 + arb (6.0.2-1) unstable; urgency=medium [ Andreas Tille ] diff -Nru arb-6.0.2/debian/patches/70_skip_compler_version_check.patch arb-6.0.2/debian/patches/70_skip_compler_version_check.patch --- arb-6.0.2/debian/patches/70_skip_compler_version_check.patch 1970-01-01 01:00:00.000000000 +0100 +++ arb-6.0.2/debian/patches/70_skip_compler_version_check.patch 2015-12-09 07:30:36.000000000 +0100 @@ -0,0 +1,32 @@ +Description: Skip compiler version check at all +Author: Andreas Tille <ti...@debian.org> +Bug-Debian: http://bugs.debian.org/793187 +Last-Update: Wed, 22 Jul 2015 22:45:32 +0200 + +--- a/Makefile ++++ b/Makefile +@@ -736,23 +736,7 @@ check_same_GCC_VERSION: + $(ARBHOME)/SOURCE_TOOLS/check_same_compiler_version.pl $(COMPILER_NAME) $(COMPILER_VERSION_ALLOWED) + + check_GCC_VERSION: +- @echo 'Compiler version check:' +-ifeq ('$(COMPILER_VERSION_ALLOWED)', '') +- @echo " - Your compiler is '$(COMPILER_NAME)' version '$(COMPILER_VERSION)'" +- @echo ' This version is not in the list of supported $(COMPILER_NAME)-versions:' +- @$(foreach version,$(ALLOWED_COMPILER_VERSIONS),echo ' * $(version)';) +- @echo ' - You may either ..' +- @echo ' - add your version to ALLOWED_$(COMPILER_NAME)_VERSIONS in the Makefile and try it out or' +- @echo ' - switch to one of the allowed versions (see arb_README_gcc.txt for installing' +- @echo ' a different version of gcc)' +- @echo '' +- @false +-else +- @echo " - Supported $(COMPILER_NAME) version '$(COMPILER_VERSION_ALLOWED)' detected - fine!" +- @echo '' +- $(MAKE) check_same_GCC_VERSION +- +-endif ++ @echo 'Skip compiler version check in Debian - we need to fix the code if it does not work' + + #---------------------- check ARBHOME + diff -Nru arb-6.0.2/debian/patches/series arb-6.0.2/debian/patches/series --- arb-6.0.2/debian/patches/series 2014-09-07 22:38:14.000000000 +0200 +++ arb-6.0.2/debian/patches/series 2015-12-09 07:30:36.000000000 +0100 @@ -4,3 +4,4 @@ 40_upstream_r12815__lintian_spelling 50_private_nameservers 60_use_packaged_phyml +70_skip_compler_version_check.patch
