Bug#622882: coq: please add fix for thumb2 (in armhf)
Source: coq
Severity: important
Tags: patch
This is a patch backported from coq in Ubuntu. It fixes a thumb2-related
build error. Please consider applying the patch, the package builds
successfully with this patch
Regards
Konstantinos
-- System Information:
Debian Release: squeeze/sid
Architecture: armhf (armv7l)
Kernel: Linux 2.6.31.14-efikamx (PREEMPT)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
diff -ruN coq-8.2.pl2+dfsg/debian/patches/0003-Fix-armel-ftbfs.patch coq-8.2.pl2+dfsg.armhf//debian/patches/0003-Fix-armel-ftbfs.patch
--- coq-8.2.pl2+dfsg/debian/patches/0003-Fix-armel-ftbfs.patch 1970-01-01 02:00:00.000000000 +0200
+++ coq-8.2.pl2+dfsg.armhf//debian/patches/0003-Fix-armel-ftbfs.patch 2011-04-15 00:21:47.897311987 +0300
@@ -0,0 +1,11 @@
+--- coq-8.2.pl2+dfsg.orig/kernel/byterun/coq_interp.c
++++ coq-8.2.pl2+dfsg/kernel/byterun/coq_interp.c
+@@ -144,7 +144,7 @@ sp is a local copy of the global variabl
+ #define SP_REG asm("a4")
+ #define ACCU_REG asm("d7")
+ #endif
+-#ifdef __arm__
++#if defined(__arm__) && !defined(__thumb2__)
+ #define PC_REG asm("r9")
+ #define SP_REG asm("r8")
+ #define ACCU_REG asm("r7")
diff -ruN coq-8.2.pl2+dfsg/debian/patches/series coq-8.2.pl2+dfsg.armhf//debian/patches/series
--- coq-8.2.pl2+dfsg/debian/patches/series 2011-02-21 16:15:35.000000000 +0200
+++ coq-8.2.pl2+dfsg.armhf//debian/patches/series 2011-04-15 00:22:24.127317116 +0300
@@ -1,3 +1,4 @@
0001-Disable-micromega-tests.patch
0002-Remove-dependency-to-Unix-from-module-Profile.patch
0003-Fix-build-with-camlp5-6.02.1.patch
+0003-Fix-armel-ftbfs.patch
Reply to: