Cross Reference: cronjob.sh
xref
: /
hets
/
utils
/
nightly
/
linux
/
cronjob.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
cronjob.sh revision b7626913d1833e29c887d93a28c0aa0b33e057e2
#!/
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