Haskell/test/run.sh

	run.sh revision 06e990f4a423bfdb1eacbcf57ba8832e09976986
#!/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
cd ..
}

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