nightly/linux/cronjob.sh

	cronjob.sh revision c8770787348d449cea69fa77d7b9abe41e758308
#!/bin/bash -x

PATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/Isabelle/Isabelle2008/bin:/home/linux-bkb/bin
UDG_HOME=/home/linux-bkb/uDrawGraph-3.1
HETS_LIB=/local/home/maeder/haskell/Hets-lib

export PATH
export HETS_LIB
export CASL_LIB=$HETS_LIB

cd /local/home/maeder/haskell
. ../cronjob.sh

makeHets
makeLibCheck
installHetsBinary linux
chgrp linuxbkb hets
\cp -fp hets /home/linux-bkb/bin/

copyStyForCgi
latexBasicLibraries
createLogFiles

runIsaBasic
runSPASSBasic
checkIsaOf Calculi/Time/AllenHayesLadkin_TACAS.het HC
checkIsaOf Calculi/Space/RCCVerification.het HC2

checkBins
checkCats
makeSources

checkMoreBins
runIsaHS
makeCofiLib
repackDocs

moreChecks
#checkEnvs
checkPrfs
date
updateOMDoc
updateLibForCgi