[Pkg-ocaml-maint-commits] [alt-ergo] 01/01: add as-installed package test

[Ralf Treinen]

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 <treinen at 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 <treinen at debian.org>  Tue, 30 Dec 2014 18:56:52 +0100
+ -- Ralf Treinen <treinen at 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