Cross Reference: runcheck.sh
xref
: /
hets
/
ToHaskell
/
test
/
runcheck.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
runcheck.sh revision fb667d2827149910130c66dc44c74024252a8fbf
#!/
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
}
for
i
in
[A-Z]*.
hascasl
;
do
../../
HasCASL
/
hacapa
analysis
< $i > $
i.output
runtranslate
$i
ghc
-c -
Wall
$
i.hs
> $
i.out
2
>&
1
done
rm
-f *.o *.
hi