Haskell/test/run.sh

	run.sh revision 4f747850e4f251b38ae9e8af25f40a3018368cea
#!/bin/sh

CVSROOT=:pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository

run ()
{
  cd $1
  ../../../ToHaskell/h2hf $1 *.hs
  ./runisabelle.sh >& log
  fgrep '***' log
  cvs diff -u log
cd ..
}

run HOL
\cp -f HOL/*.hs HOLCF/
run HOLCF