Haskell/test/run.sh

	run.sh revision 976c7755a5d5b3a7377b0889e39eaaf3bc1f4d9d
275f2a1080c2089e14a1455dbbbb3bc992d8e593cmaeder#!/bin/sh
90255d8098793fec454acbf2c67d4911dd5a7e83Christian Maeder
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerCVSROOT=:pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository
e83ed59502a681713982f25c559aae77a4145734Christian Maeder
7fc94f7c677e280e09b834c5bfcf0411aed1f842Christian Maederrun ()
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu{
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder  cd $1
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maeder  ../../../ToHaskell/h2hf $1 *.hs
90255d8098793fec454acbf2c67d4911dd5a7e83Christian Maeder  ./runisabelle.sh > log 2>&1
90255d8098793fec454acbf2c67d4911dd5a7e83Christian Maeder  fgrep '***' log
90255d8098793fec454acbf2c67d4911dd5a7e83Christian Maeder  cvs diff -u log
e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowskicd ..
dd62ef8d300d66a3ff2895c20cdf311ae3f8fd58Christian Maeder}
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederrun HOL
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bbChristian Maeder\cp -f HOL/*.hs HOLCF/
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederrun HOLCF
ec2db3a0102875c71d3fccb5531dd21410890976Christian Maeder
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian Maeder
35db0960aa2e2a13652381c756fae5fb2b27213bChristian Maeder