ToHaskell/test/runcheck.sh

	runcheck.sh revision ad0b6d89fd72f0db461bfa6b43699157b6d2daf7
#!/bin/sh

#first parameter is executable
#second parameter resets ouput files

PA=$1
SET=$2

. ../../Common/test/checkFunctions.sh

runtranslate ()
{
   runcheck $PA $1 $1 $1 $1.hs $SET
}

ghc -c MyLogic.hs

for i in [A-Z]*.hascasl;
do
    ../../HasCASL/hacapa analysis < $i > $i.output
    runtranslate $i
    ghc -c $i.hs > $i.out 2>&1
    if [ -s $i.out ]; then echo "error when translating $i"; fi
done
rm -f *.o *.hi