[Pkg-ocaml-maint-commits] r3391 - in /trunk/packages/coq/branches/8.1/debian: changelog patches/00list patches/next-ia64.dpatch

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sun Nov 26 20:15:53 2006
New Revision: 3391

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3391
Log:
Added next-ia64.dpatch to fix the FTBFS on ia64.

Added:
    trunk/packages/coq/branches/8.1/debian/patches/next-ia64.dpatch   (with props)
Modified:
    trunk/packages/coq/branches/8.1/debian/changelog
    trunk/packages/coq/branches/8.1/debian/patches/00list

Modified: trunk/packages/coq/branches/8.1/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/changelog?rev=3391&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/changelog (original)
+++ trunk/packages/coq/branches/8.1/debian/changelog Sun Nov 26 20:15:53 2006
@@ -1,3 +1,9 @@
+coq (8.1~gamma-3) UNRELEASED; urgency=low
+
+  * Added next-ia64.dpatch to fix the FTBFS on ia64.
+
+ -- Samuel Mimram <smimram at debian.org>  Sun, 26 Nov 2006 18:45:33 +0000
+
 coq (8.1~gamma-2) experimental; urgency=low
 
   * Added no-complexity-test.dpatch to skip complexity checks (thanks Julien

Modified: trunk/packages/coq/branches/8.1/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/patches/00list?rev=3391&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/patches/00list (original)
+++ trunk/packages/coq/branches/8.1/debian/patches/00list Sun Nov 26 20:15:53 2006
@@ -3,3 +3,4 @@
 makefile
 system
 no-complexity-test
+next-ia64

Added: trunk/packages/coq/branches/8.1/debian/patches/next-ia64.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/patches/next-ia64.dpatch?rev=3391&op=file
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/patches/next-ia64.dpatch (added)
+++ trunk/packages/coq/branches/8.1/debian/patches/next-ia64.dpatch Sun Nov 26 20:15:53 2006
@@ -1,0 +1,23 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## next-ia64.dpatch by Samuel Mimram <smimram at 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.
+
+ at 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:

Propchange: trunk/packages/coq/branches/8.1/debian/patches/next-ia64.dpatch
------------------------------------------------------------------------------
    svn:executable = *