Cross Reference: cronjob.sh
xref
: /
hets
/
utils
/
nightly
/
linux
/
cronjob.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
cronjob.sh revision 30b33e373538d0a63ed2fc7069cbf763e7de63d6
842ae4bd224140319ae7feec1872b93dfd491143
fielding
#!/
bin
/
bash
-x
842ae4bd224140319ae7feec1872b93dfd491143
fielding
842ae4bd224140319ae7feec1872b93dfd491143
fielding
PATH
=/
bin
:/
usr
/
bin
:/
usr
/
X11R6
/
bin
:/
home
/
linux-bkb
/
Isabelle
/
Isabelle2009
/
bin
:/
home
/
linux-bkb
/
bin
842ae4bd224140319ae7feec1872b93dfd491143
fielding
UDG_HOME
=/
home
/
linux-bkb
/
uDrawGraph-3.1
842ae4bd224140319ae7feec1872b93dfd491143
fielding
HETS_LIB
=/
local
/
home
/
maeder
/
haskell
/
Hets-lib
842ae4bd224140319ae7feec1872b93dfd491143
fielding
dc9d4f49d36e64c0157d930cb22ca82a6291c0cb
dgaudet
export
PATH
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dc
nd
export
HETS_LIB
dc9d4f49d36e64c0157d930cb22ca82a6291c0cb
dgaudet
export
CASL_LIB
=
$HETS_LIB
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dc
nd
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dc
nd
cd
/
tmp
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dc
nd
\
rm
-f
eprover
*
formalDescription
*
tstp
*
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dc
nd
cd
/
local
/
home
/
maeder
/
haskell
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dc
nd
. ../
cronjob.sh
dc9d4f49d36e64c0157d930cb22ca82a6291c0cb
dgaudet
dc9d4f49d36e64c0157d930cb22ca82a6291c0cb
dgaudet
ssh
bigmac
launchctl
load
/
home
/
maeder
/
Library
/
LaunchAgents
/
makeHets.plist
ab5581cc78e9d865b0a6ab1404c53347b3276968
rbb
ssh
m18
/
Users
/
Shared
/
maeder
/
haskell
/
job.sh
&
024cd9589e52cf11ce765dfddb5b5f0c6e421a48
gstein
024cd9589e52cf11ce765dfddb5b5f0c6e421a48
gstein
makeHets
024cd9589e52cf11ce765dfddb5b5f0c6e421a48
gstein
024cd9589e52cf11ce765dfddb5b5f0c6e421a48
gstein
ssh
bigmac
date
b0f20a4a26bcfa85724b1c2e5ec6a077f12ef44c
rbb
2d71630471d1c23f0137309e3c3957c633ecbfd6
rbb
makeLibCheck
dc9d4f49d36e64c0157d930cb22ca82a6291c0cb
dgaudet
installHetsBinary
linux
e5c43448cda8c78e3d0cd8683aab2c907cc38362
rpluem
chgrp
linuxbkb
hets
dc9d4f49d36e64c0157d930cb22ca82a6291c0cb
dgaudet
\
cp
-
fp
hets
/
home
/
linux-bkb
/
hets
/
hets-latest
/
bin
/
89211a3153be8b03353c3bfbca45fed67cb80f0b
pquerna
dc9d4f49d36e64c0157d930cb22ca82a6291c0cb
dgaudet
copyStyForCgi
dc9d4f49d36e64c0157d930cb22ca82a6291c0cb
dgaudet
latexBasicLibraries
b501b72e4bfed12a431278217ba66ae531d9a293
rbb
createLogFiles
024cd9589e52cf11ce765dfddb5b5f0c6e421a48
gstein
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
runIsaBasic
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
runSPASSBasic
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
checkIsaOf
Calculi
/
Time
/
AllenHayesLadkin_TACAS.het
HC
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
checkIsaOf
Calculi
/
Space
/
RCCVerification.het
HC2
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
9591ec71b8911ecefbf6571333ff78fcb6efffa5
jorton
checkBins
77e0c54d01cb01e700e939a78afa49a7aa1e2275
pquerna
checkCats
77e0c54d01cb01e700e939a78afa49a7aa1e2275
pquerna
makeSources
77e0c54d01cb01e700e939a78afa49a7aa1e2275
pquerna
7184de27ec1d62a83c41cdeac0953ca9fd661e8c
sf
checkMoreBins
7184de27ec1d62a83c41cdeac0953ca9fd661e8c
sf
makeOWLTools
7184de27ec1d62a83c41cdeac0953ca9fd661e8c
sf
runIsaHS
36ef8f77bffe75d1aa327882be1b5bdbe2ff567a
sf
e8fcc872d5caeea36adb6511f9d1ab6ce3fbb5c0
jerenkrantz
makeCofiLib
2261031aa94be82d7e6b1b8c367afc1b282317f5
ianh
repackDocs
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
moreChecks
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
checkEnvs
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
checkPrfs
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
date
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
updateOMDoc
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
cd
/
home
/
linux-bkb
/
twelf
/
twelf-mod
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
svn
up
--
force
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic
sml
build
/
twelf-server-smlnj.sml
a742cbb3e85669473b3233f30e3978bb6a20083c
ylavic