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 <trei...@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
_______________________________________________
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
