This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository coq.

commit 63357a8dd2be33cde7f36dc45cbd50ca3b2c4743
Author: Stephane Glondu <st...@glondu.net>
Date:   Fri Nov 22 14:36:32 2013 +0100

    Disable micromega tests on Hurd
---
 .../0002-Disable-micromega-tests-on-Hurd.patch     |   25 ++++++++++++++++++++
 debian/patches/series                              |    1 +
 2 files changed, 26 insertions(+)

diff --git a/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch 
b/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch
new file mode 100644
index 0000000..2d2ef7c
--- /dev/null
+++ b/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch
@@ -0,0 +1,25 @@
+From: Stephane Glondu <st...@glondu.net>
+Date: Fri, 22 Nov 2013 14:33:52 +0100
+Subject: Disable micromega tests on Hurd
+
+They exert lockf, which is not implemented on Hurd.
+---
+ test-suite/Makefile | 4 ++++
+ 1 file changed, 4 insertions(+)
+
+diff --git a/test-suite/Makefile b/test-suite/Makefile
+index cd5886f..9418be2 100644
+--- a/test-suite/Makefile
++++ b/test-suite/Makefile
+@@ -74,6 +74,10 @@ BUGS := bugs/opened/shouldnotfail 
bugs/opened/shouldnotsucceed \
+ VSUBSYSTEMS := prerequisite success failure $(BUGS) output \
+   interactive micromega $(COMPLEXITY) modules
+ 
++ifeq ($(shell dpkg-architecture -qDEB_HOST_ARCH_OS),hurd)
++  VSUBSYSTEMS := $(filter-out micromega,$(VSUBSYSTEMS))
++endif
++
+ # All subsystems
+ SUBSYSTEMS := $(VSUBSYSTEMS) misc bugs ide
+ 
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 53d51a1..a264977 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch
+0002-Disable-micromega-tests-on-Hurd.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to