diff options
Diffstat (limited to 'debian/patches/next-ia64.dpatch')
| -rwxr-xr-x | debian/patches/next-ia64.dpatch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/debian/patches/next-ia64.dpatch b/debian/patches/next-ia64.dpatch new file mode 100755 index 00000000..e9f7635f --- /dev/null +++ b/debian/patches/next-ia64.dpatch @@ -0,0 +1,23 @@ +#! /bin/sh /usr/share/dpatch/dpatch-run +## next-ia64.dpatch by Samuel Mimram <smimram@debian.org> +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: Disable not-really-needed ia64 cast which broke with gcc 4.0. + +@DPATCH@ +diff -urNad coq-8.1~gamma~/kernel/byterun/coq_interp.c coq-8.1~gamma/kernel/byterun/coq_interp.c +--- coq-8.1~gamma~/kernel/byterun/coq_interp.c 2006-10-27 13:29:22.000000000 +0000 ++++ coq-8.1~gamma/kernel/byterun/coq_interp.c 2006-11-26 18:37:23.000000000 +0000 +@@ -44,11 +44,7 @@ + # ifdef DEBUG + # define Next goto next_instr + # else +-# ifdef __ia64__ +-# define Next goto *(void *)(coq_jumptbl_base + *((uint32 *) pc)++) +-# else +-# define Next goto *(void *)(coq_jumptbl_base + *pc++) +-# endif ++# define Next goto *(void *)(coq_jumptbl_base + *pc++) + # endif + #else + # define Instruct(name) case name: |