getAllHets.sh revision bea81dabd203833818cb4a5f3758977c695728cd
## This script downloads, bunzips daily hets;
## afterwards it adds excutable permissions for everyone
HETS_VER=$1
if [ -d $HETS_DOWNLOAD ] ;
fi ;
ARCH_DIR=""
DOWNLOADCMD_L="wget --output-document=$DAILY_HETS_LINUX"
DOWNLOADCMD_M="wget --output-document=$DAILY_HETS_MAC"
DOWNLOADCMD_S="wget --output-document=$DAILY_HETS_SOL"
DAILY_HETS_URL_LINUX="http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/linux/daily/hets.bz2"
DAILY_HETS_URL_MAC="http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/daily/hets.bz2"
DAILY_HETS_URL_SOLARIS="http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/solaris/daily/hets.bz2"
# main
#bunzip2 $DAILY_HETS_LINUX
#chmod a+x $HETS_LINUX
#bunzip2 $DAILY_HETS_MAC
#chmod a+x $HETS_MAC
#bunzip2 $DAILY_HETS_SOL
#chmod a+x $HETS_SOL
echo "Downloaded and saved daily hets to: " $DAILY_HETS_LINUX
echo "Downloaded and saved daily hets to: " $DAILY_HETS_MAC
echo "Downloaded and saved daily hets to: " $DAILY_HETS_SOL