nightly/linux/cronjob.sh

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

PATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/Isabelle/Isabelle2012/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 /tmp
\rm -f eprover* formalDescription* tstp*
cd /local/home/maeder/haskell
. ../cronjob.sh

#ssh bigmac /Users/Shared/maeder/haskell/job.sh &
ssh a01 /Users/Shared/maeder/haskell/job.sh &

makeHets

#ssh bigmac date

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

copyStyForCgi
latexBasicLibraries
createLogFiles

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

checkBins
checkCats
makeSources

checkMoreBins
makeOWLTools
runIsaHS

makeCofiLib
repackDocs

moreChecks
checkEnvs
checkPrfs
date
#updateOMDoc

#cd /home/linux-bkb/twelf/twelf-mod
#svn up --force
#sml build/twelf-server-smlnj.sml