[Pkg-ocaml-maint-commits] r4843 - in /trunk/packages/coq/trunk/debian: changelog patches/00list patches/check.dpatch

[smimram at users.alioth.debian.org]

Author: smimram
Date: Thu Nov 29 14:02:40 2007
New Revision: 4843

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4843
Log:
Added check.dpatch to remove warnings in tests.

Added:
    trunk/packages/coq/trunk/debian/patches/check.dpatch   (with props)
Modified:
    trunk/packages/coq/trunk/debian/changelog
    trunk/packages/coq/trunk/debian/patches/00list

Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=4843&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Thu Nov 29 14:02:40 2007
@@ -1,8 +1,10 @@
 coq (8.1.pl2+dfsg-3) UNRELEASED; urgency=low
 
-  * Add a dependency from coq to emacsen-common, closes: #435023.
-
- -- Samuel Mimram <smimram at debian.org>  Sat, 17 Nov 2007 17:48:45 +0000
+  * Added check.dpatch to remove warnings which made some tests erroneously
+    fail, closes: #452572.
+  * Added a dependency from coq to emacsen-common, closes: #435023.
+
+ -- Samuel Mimram <smimram at debian.org>  Thu, 29 Nov 2007 13:59:01 +0000
 
 coq (8.1.pl2+dfsg-2) unstable; urgency=low
 

Modified: trunk/packages/coq/trunk/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/patches/00list?rev=4843&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/patches/00list (original)
+++ trunk/packages/coq/trunk/debian/patches/00list Thu Nov 29 14:02:40 2007
@@ -4,3 +4,4 @@
 no-complexity-test
 configure
 cmxa-install
+check

Added: trunk/packages/coq/trunk/debian/patches/check.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/patches/check.dpatch?rev=4843&op=file
==============================================================================
--- trunk/packages/coq/trunk/debian/patches/check.dpatch (added)
+++ trunk/packages/coq/trunk/debian/patches/check.dpatch Thu Nov 29 14:02:40 2007
@@ -1,0 +1,19 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## check.dpatch by Samuel Mimram <smimram at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Suppress warnings from tests outputs.
+
+ at DPATCH@
+diff -urNad coq-8.1.pl2+dfsg~/test-suite/check coq-8.1.pl2+dfsg/test-suite/check
+--- coq-8.1.pl2+dfsg~/test-suite/check	2007-11-29 14:02:40.000000000 +0000
++++ coq-8.1.pl2+dfsg/test-suite/check	2007-11-29 14:03:39.000000000 +0000
+@@ -52,7 +52,7 @@
+ 	nbtests=`expr $nbtests + 1`
+ 	printf "    "$f"..."
+         tmpoutput=`mktemp /tmp/coqcheck.XXXXXX`
+-	$command $f 2>&1 | grep -v "Welcome to Coq" | grep -v "Skipping rcfile loading" > $tmpoutput
++	$command $f 2>&1 | grep -v "Welcome to Coq" | grep -v "Skipping rcfile loading" | grep -v "some rule has been masked" > $tmpoutput
+         foutput=`dirname $f`/`basename $f .v`.out
+         diff $tmpoutput $foutput >& /dev/null
+ 	if [ $? = 0 ]; then 

Propchange: trunk/packages/coq/trunk/debian/patches/check.dpatch
------------------------------------------------------------------------------
    svn:executable = *