#!/bin/sh -e

this=calcdemo-coq
indir=debian/tests
outdir=${ADT_ARTIFACTS:-/tmp}/${this}
mkdir -p ${outdir}

cp ${indir}/${this}/* ${outdir}
cd ${outdir}
make 2> /dev/null | grep -q \"OK\"

