[mona] 02/03: add autopkgtest

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository mona.

commit bab1473bb651ff08c13ba9d01c051e932af75e18
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Aug 18 16:45:53 2014 +0200

    add autopkgtest
---
 debian/changelog     |  1 +
 debian/control       |  1 +
 debian/tests/control |  2 ++
 debian/tests/valid   | 12 ++++++++++++
 4 files changed, 16 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index e1db984..b3d015f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -15,6 +15,7 @@ mona (1.4-15-1) UNRELEASED; urgency=medium
   * we don't use chrpath any more, so we drop it from the build-dependencies
   * refresh lintian override non-dev-pkg-with-shlib-symlink (new location
     of lib files)
+  * add autopkgtests, one test script: valid
   
  -- Ralf Treinen <treinen at debian.org>  Mon, 18 Aug 2014 11:55:14 +0200
 
diff --git a/debian/control b/debian/control
index ea41086..1555e32 100644
--- a/debian/control
+++ b/debian/control
@@ -8,6 +8,7 @@ Standards-Version: 3.9.5
 Homepage: http://www.brics.dk/~amoeller/mona/index.html
 Vcs-Git: git://git.debian.org/git/debian-science/packages/mona.git
 Vcs-Browser: http://git.debian.org/?p=debian-science/packages/mona.git
+XS-Testsuite: autopkgtest
 
 Package: mona
 Architecture: any
diff --git a/debian/tests/control b/debian/tests/control
new file mode 100644
index 0000000..d5cb126
--- /dev/null
+++ b/debian/tests/control
@@ -0,0 +1,2 @@
+Tests: valid
+Depends: @
diff --git a/debian/tests/valid b/debian/tests/valid
new file mode 100755
index 0000000..0347bdf
--- /dev/null
+++ b/debian/tests/valid
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+set -e
+
+indir=$PWD/Examples
+outdir=${TMPDIR-/tmp}
+
+cd $outdir
+for infile in presburger.mona minusmodulo.mona
+do
+    mona $indir/$infile | grep -q 'Formula is valid'
+done

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/mona.git