Haskell/test/run.sh

	run.sh revision df29370ae8d8b41587957f6bcdcb43a3f1927e47
#!/bin/sh

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

isabellescriptspath=../../../utils/nightly/linux/

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

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