diff options
Diffstat (limited to 'debian/patches/next-ia64.dpatch')
| -rwxr-xr-x | debian/patches/next-ia64.dpatch | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/debian/patches/next-ia64.dpatch b/debian/patches/next-ia64.dpatch deleted file mode 100755 index e9f7635f..00000000 --- a/debian/patches/next-ia64.dpatch +++ /dev/null @@ -1,23 +0,0 @@ -#! /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: |