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

