#!/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
