[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl1+dfsg-1-1-g581c278
Stephane Glondu
steph at glondu.net
Sun Jul 5 11:12:20 UTC 2009
The following commit has been merged in the master branch:
commit 581c27825b108d2a0ab9ee8e068bde947ede8ddd
Author: Stephane Glondu <steph at glondu.net>
Date: Sun Jul 5 12:53:14 2009 +0200
Call coqchk without -silent
diff --git a/debian/changelog b/debian/changelog
index 9692444..b51034f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+coq (8.2.pl1+dfsg-2) unstable; urgency=low
+
+ * During validation of stdlib, call coqchk without -silent to avoid
+ timeout on buildds because of lack of output
+
+ -- Stephane Glondu <steph at glondu.net> Sun, 05 Jul 2009 12:51:15 +0200
+
coq (8.2.pl1+dfsg-1) unstable; urgency=low
* New Upstream Version
diff --git a/debian/rules b/debian/rules
index 014134a..0dcf678 100755
--- a/debian/rules
+++ b/debian/rules
@@ -44,8 +44,14 @@ configure-stamp: ocamlinit-stamp
build: build-stamp
build-stamp: configure-stamp
dh_testdir
+
ifeq ($(BUILDCACHE),)
- $(MAKE) STRIP=true check
+
+# VALIDOPTS are the options given to coqchk; the value given here is
+# the default one without -silent (-silent maybe cause buildd to
+# timeout because of lack of output)
+
+ $(MAKE) STRIP=true VALIDOPTS="-o -m" check
$(MAKE) DOC_TARGETS=$(HTMLDOC) $(HTMLDOC)
else
rsync -a --exclude=debian --exclude=.git $(BUILDCACHE)/ .
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list