[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl1+dfsg-5-1-g9ffbef8

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 9ffbef80b9b8674c94b0a4137bdb2de701f3b2d1
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Feb 22 10:41:38 2010 +0100

    Add Disable-micromega-tests.patch, prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 492e862..40e9906 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.2.pl1+dfsg-6) unstable; urgency=low
+
+  * Add Disable-micromega-tests.patch (workaround for bug #570920)
+
+ -- Stéphane Glondu <glondu at debian.org>  Mon, 22 Feb 2010 10:41:15 +0100
+
 coq (8.2.pl1+dfsg-5) unstable; urgency=low
 
   * Rebuild with OCaml 3.11.2
diff --git a/debian/patches/0002-Disable-micromega-tests.patch b/debian/patches/0002-Disable-micromega-tests.patch
new file mode 100644
index 0000000..8857a87
--- /dev/null
+++ b/debian/patches/0002-Disable-micromega-tests.patch
@@ -0,0 +1,25 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Mon, 22 Feb 2010 10:39:03 +0100
+Subject: [PATCH] Disable micromega tests
+
+Workaround for bug #570920.
+---
+ test-suite/check |    4 ++--
+ 1 files changed, 2 insertions(+), 2 deletions(-)
+
+diff --git a/test-suite/check b/test-suite/check
+index bed86c4..e7889cf 100755
+--- a/test-suite/check
++++ b/test-suite/check
+@@ -248,8 +248,8 @@ echo "Parser tests"
+ test_parser parser
+ echo "Interactive tests"
+ test_interactive interactive
+-echo "Micromega tests"
+-test_success micromega
++#echo "Micromega tests"
++#test_success micromega
+ 
+ # We give a chance to disable the complexity tests which may cause
+ # random build failures on build farms
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 1693a78..4bfb446 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 0001-Update-for-why-2.19.patch
+0002-Disable-micromega-tests.patch

-- 
coq packaging