cronjob.sh revision 1b957bb41c1b9d635085dec8893d19e33c5f42ef
export PATH
export MAKE
export HETS_LIB
export GHCRTS
. ../cronjob.sh
# install hets binary
# copy matching version for hets.cgi
# make latex documentation
# create some result files
cd Basic
cd ..
cd ../..
fgrep \*\*\* ../../../isaHC2.log
cd ../..
# try out other binaries
# build user guide
cd ..
# move docs and release sources to destination
# more tests in HetCATS
# build and install locally hets.cgi
cd ../../../HetCATS
cd ..
# pack CASL-lib for cofi at fixed location
cd ..
# repack putting docs into sources on www server
cd $destdir
\rm -f HetCATS.tar.gz
# a few more tests
cd $HETS_LIB