runcheck.sh revision c5e26787b63c42ea590c3ad5fcc55b0d04fe923f
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden#!/bin/sh
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden#first parameter is executable
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden#second parameter resets ouput files
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden
1d03ac3e808c2c653316d01713105e209914fc81Neil MaddenPA=$1
1d03ac3e808c2c653316d01713105e209914fc81Neil MaddenSET=$2
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden. ../../Common/test/checkFunctions.sh
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddenruntranslate ()
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden{
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden runcheck $PA $1 $1 $1 $1.hs $SET
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden}
864e2a74d7dc5e572cd895466611cc57e3523083Andrew Forrest
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddenghc -c MyLogic.hs
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden
5ec701c9f8ccc403ee6fd3e41239df7dcd9faddeBruno Lavitfor i in [A-Z]*.hascasl;
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddendo
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden ../../HasCASL/hacapa analysis < $i > $i.output
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden runtranslate $i
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden ghc -c -w $i.hs > $i.out 2>&1
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden if [ -s $i.out ]; then echo "error when translating $i"; fi
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddendone
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddenrm -f *.o *.hi
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden