runcheck.sh revision bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
#!/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
done
rm -f *.o *.hi