bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder#!/bin/sh
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder#first parameter is executable
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder#second parameter resets ouput files
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian MaederPA=$1
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian MaederSET=$2
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder. ../../Common/test/checkFunctions.sh
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder
fb667d2827149910130c66dc44c74024252a8fbfChristian Maederruntranslate ()
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder{
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder runcheck $PA $1 $1 $1 $1.hs $SET
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder}
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederfor i in [A-Z]*.hascasl;
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederdo
fb667d2827149910130c66dc44c74024252a8fbfChristian Maeder ../../HasCASL/hacapa analysis < $i > $i.output
fb667d2827149910130c66dc44c74024252a8fbfChristian Maeder runtranslate $i
c5e26787b63c42ea590c3ad5fcc55b0d04fe923fChristian Maeder ghc -c -w $i.hs > $i.out 2>&1
ad0b6d89fd72f0db461bfa6b43699157b6d2daf7Christian Maeder if [ -s $i.out ]; then echo "error when translating $i"; fi
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederdone
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederrm -f *.o *.hi