[Pkg-ocaml-maint-commits] [ocplib-simplex] 02/02: add package tests

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository ocplib-simplex.

commit b13cc00bd9af6c2a052ff176c78da89b88783b48
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Nov 29 08:38:35 2016 +0100

    add package tests
---
 debian/tests/byte-code   | 12 ++++++++++++
 debian/tests/control     |  5 +++++
 debian/tests/native-code | 13 +++++++++++++
 3 files changed, 30 insertions(+)

diff --git a/debian/tests/byte-code b/debian/tests/byte-code
new file mode 100755
index 0000000..ae82aac
--- /dev/null
+++ b/debian/tests/byte-code
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+set -e
+
+testdir=${AUTOPKGTEST_TMP}
+cp tests/* ${testdir}
+cd ${testdir}
+
+ocamlc -o standalone_minimal -I `ocamlfind query ocplib-simplex` \
+       ocplibSimplex.cma nums.cma standalone_minimal.ml
+./standalone_minimal 2> /dev/null | grep -q "The problem is unsat!"
+
diff --git a/debian/tests/control b/debian/tests/control
new file mode 100644
index 0000000..a47cb5a
--- /dev/null
+++ b/debian/tests/control
@@ -0,0 +1,5 @@
+Tests: native-code
+Depends: ocaml-nox, ocaml-findlib
+
+Tests: byte-code
+Depends: ocaml-nox, ocaml-findlib
diff --git a/debian/tests/native-code b/debian/tests/native-code
new file mode 100755
index 0000000..3bdd13a
--- /dev/null
+++ b/debian/tests/native-code
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+set -e
+
+testdir=${AUTOPKGTEST_TMP}
+cp tests/* ${testdir}
+cd ${testdir}
+if [ -x '/usr/bin/ocamlopt' ]
+then
+    ocamlopt -o standalone_minimal -I `ocamlfind query ocplib-simplex` \
+	     ocplibSimplex.cmxa nums.cmxa standalone_minimal.ml
+    ./standalone_minimal 2> /dev/null | grep -q "The problem is unsat!"
+fi

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