runcheck.sh revision bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
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
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederrunhatch ()
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
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder# ../../HasCASL/hacapa analysis < $i > $i.output
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder runhatch $i
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder ghc -c -Wall $i.hs >& $i.out
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederdone
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederrm -f *.o *.hi