Blame isl-0.16.1/pip_test.sh.in

Packit fb9d21
#!/bin/sh
Packit fb9d21
Packit fb9d21
EXEEXT=@EXEEXT@
Packit fb9d21
Packit fb9d21
PIP_TESTS="\
Packit fb9d21
	boulet.pip \
Packit fb9d21
	brisebarre.pip \
Packit fb9d21
	cg1.pip \
Packit fb9d21
	esced.pip \
Packit fb9d21
	ex2.pip \
Packit fb9d21
	ex.pip \
Packit fb9d21
	fimmel.pip \
Packit fb9d21
	max.pip \
Packit fb9d21
	negative.pip \
Packit fb9d21
	seghir-vd.pip \
Packit fb9d21
	small.pip \
Packit fb9d21
	sor1d.pip \
Packit fb9d21
	square.pip \
Packit fb9d21
	sven.pip \
Packit fb9d21
	tobi.pip"
Packit fb9d21
Packit fb9d21
for i in $PIP_TESTS; do
Packit fb9d21
	echo $i;
Packit fb9d21
	./isl_pip$EXEEXT --format=set --context=gbr -T < $srcdir/test_inputs/$i || exit
Packit fb9d21
	./isl_pip$EXEEXT --format=set --context=lexmin -T < $srcdir/test_inputs/$i || exit
Packit fb9d21
	./isl_pip$EXEEXT --format=affine --context=gbr -T < $srcdir/test_inputs/$i || exit
Packit fb9d21
	./isl_pip$EXEEXT --format=affine --context=lexmin -T < $srcdir/test_inputs/$i || exit
Packit fb9d21
done