[Pkg-ocaml-maint-commits] r3380 - in /trunk/packages/coq/branches/8.1/debian: changelog patches/00list patches/no-complexity-test.dpatch

[smimram at users.alioth.debian.org]

Author: smimram
Date: Thu Nov 23 15:28:36 2006
New Revision: 3380

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3380
Log:
Skip complexity checks.

Added:
    trunk/packages/coq/branches/8.1/debian/patches/no-complexity-test.dpatch
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=3380&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/changelog (original)
+++ trunk/packages/coq/branches/8.1/debian/changelog Thu Nov 23 15:28:36 2006
@@ -1,3 +1,10 @@
+coq (8.1~gamma-2) experimental; urgency=low
+
+  * Added no-complexity-test.dpatch to skip complexity checks (thanks Julien
+    Cristau), closes: #399919.
+
+ -- Samuel Mimram <smimram at debian.org>  Thu, 23 Nov 2006 14:27:15 +0000
+
 coq (8.1~gamma-1) experimental; urgency=low
 
   * New upstream release.

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=3380&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/patches/00list (original)
+++ trunk/packages/coq/branches/8.1/debian/patches/00list Thu Nov 23 15:28:36 2006
@@ -2,3 +2,4 @@
 browser
 makefile
 system
+no-complexity-test

Added: trunk/packages/coq/branches/8.1/debian/patches/no-complexity-test.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/patches/no-complexity-test.dpatch?rev=3380&op=file
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/patches/no-complexity-test.dpatch (added)
+++ trunk/packages/coq/branches/8.1/debian/patches/no-complexity-test.dpatch Thu Nov 23 15:28:36 2006
@@ -1,0 +1,21 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## no-complexity-test.dpatch by Julien Cristau <julien.cristau at ens-lyon.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Don't run complexity tests, they are far too fragile.
+
+ at DPATCH@
+diff -urNad coq-8.1gamma~/test-suite/check coq-8.1gamma/test-suite/check
+--- coq-8.1gamma~/test-suite/check	2006-11-03 14:07:27.000000000 +0100
++++ coq-8.1gamma/test-suite/check	2006-11-23 15:19:49.000000000 +0100
+@@ -145,8 +145,8 @@
+ test_parser parser
+ echo "Interactive tests"
+ test_interactive interactive
+-echo "Complexity tests"
+-test_complexity complexity
++echo "Skipping complexity tests"
++#test_complexity complexity
+ echo "Module tests"
+ $coqtop -compile modules/Nat
+ $coqtop -compile modules/plik