nightly/intel-mac/cronjob.sh

	cronjob.sh revision 1d0794dbcf446cdca6509cab662b5ddccb6d01c3
#!/bin/bash -x

PATH=/home/mac-bkb/bin:/usr/local/bin:/bin:/usr/bin:/usr/X11R6/bin:/sw/bin:/home/mac-bkb/intel/bin
MAKE=make
UDG_HOME=/home/mac-bkb/uDrawGraph-3.1
HETS_LIB=/Users/Shared/maeder/haskell/Hets-lib

export PATH
export MAKE
export UDG_HOME
export HETS_LIB

cd /Users/Shared/maeder/haskell

. ../cronjob.sh

#makeProgramatica
makeHets
makeLibCheck

cd Hets-lib
chmod 775 hets
chgrp wwwbkb hets
bzip2 hets
\cp -fp hets.bz2 /home/www/agbkb/forschung/formal_methods/CoFI/hets/intel-mac/daily/