#!/bin/sh

set -e

outdir=${ADT_ARTIFACTS-/tmp/ssreflect}
indir="debian/tests"
input="loadssreflect.v"
mkdir -p ${outdir}
cp ${indir}/${input} ${outdir}
cd ${outdir}
coqc ${input} 2> /dev/null
