runcheck.sh revision 392bafc19be70ac04e4eaeaf4be1fed6e800019a
#!/bin/sh
#first parameter is executable
#second parameter resets ouput files
PA=$1
SET=$2
. ../../Common/test/checkFunctions.sh
runhatch ()
{
runcheck $PA $1 $1 $1 $1.hs $SET
}
for i in [A-Z]*.hascasl;
do
# ../../HasCASL/hacapa analysis < $i > $i.output
runhatch $i
ghc -c -Wall $i.hs > $i.out 2>&1
done
rm -f *.o *.hi