This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository alt-ergo.
commit 921eb4398ff8d3f9c014d3394f67352495506119 Author: Ralf Treinen <trei...@free.fr> Date: Wed Dec 31 13:02:45 2014 +0100 add as-installed package test --- debian/changelog | 12 ++++++++---- debian/control | 1 + debian/tests/control | 5 +++++ debian/tests/invalid | 10 ++++++++++ debian/tests/valid | 10 ++++++++++ 5 files changed, 34 insertions(+), 4 deletions(-) diff --git a/debian/changelog b/debian/changelog index a09bc0d..6fbbfd1 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,7 +1,7 @@ -alt-ergo (0.99.1+dfsg1-1) unstable; urgency=medium +alt-ergo (0.99.1+dfsg1-1) experimental; urgency=medium * New upstream version. - * debian/copyright: add Files-Excluded: nonfree + * debian/copyright: add Files-Excluded: non-free * debian/watch: mangle suffix +dfsg\d* * debian/rules: - override for dh_auto_clean target: call "make clean" only @@ -12,10 +12,14 @@ alt-ergo (0.99.1+dfsg1-1) unstable; urgency=medium * new patch 0002-non-free-dropped: adapt Makefile.users to the removal of the non-free directory. * Drop the libalt-ergo-ocaml-dev binary package since upstream does no - longer support installation of develoment libraries. + longer support installation of development libraries. * Standards-Version 3.9.6 (no change) + * Added DEP8-style package tests: + - debian/control: add XS-Testsuite field + - added debian/tests, with two test scripts on the examples installed with + the package. - -- Ralf Treinen <trei...@debian.org> Tue, 30 Dec 2014 18:56:52 +0100 + -- Ralf Treinen <trei...@debian.org> Wed, 31 Dec 2014 13:02:03 +0100 alt-ergo (0.95.2-3) sid; urgency=medium diff --git a/debian/control b/debian/control index e17e39e..5fc9e09 100644 --- a/debian/control +++ b/debian/control @@ -17,6 +17,7 @@ Homepage: http://alt-ergo.lri.fr Standards-Version: 3.9.6 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/alt-ergo.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git +XS-Testsuite: autopkgtest Package: alt-ergo Section: math diff --git a/debian/tests/control b/debian/tests/control new file mode 100644 index 0000000..756da0a --- /dev/null +++ b/debian/tests/control @@ -0,0 +1,5 @@ +Tests: valid +Depends: alt-ergo + +Tests: invalid +Depends: alt-ergo diff --git a/debian/tests/invalid b/debian/tests/invalid new file mode 100755 index 0000000..b2fff5a --- /dev/null +++ b/debian/tests/invalid @@ -0,0 +1,10 @@ +#!/bin/sh + +set -e + +indir=/usr/share/doc/alt-ergo/examples/invalid + +for infile in $indir/*.why +do + alt-ergo $infile | grep -qv "Valid" +done diff --git a/debian/tests/valid b/debian/tests/valid new file mode 100755 index 0000000..cd0cb64 --- /dev/null +++ b/debian/tests/valid @@ -0,0 +1,10 @@ +#!/bin/sh + +set -e + +indir=/usr/share/doc/alt-ergo/examples/valid + +for infile in $indir/*.why +do + alt-ergo $infile | grep -q "Valid" +done -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.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