getAllHets.sh revision 02b60bce7eac99f86a8f80bf3f651bdaf7316e0e
## This script downloads, bunzips daily hets;
## afterwards it adds excutable permissions for everyone
HETS_VER=$1
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"
*) echo "Unsupported SunOS processor: " `uname -p`
exit 2;;
esac;;
*) echo "Unsupported Linux processor: " `uname -p`
exit 2;;
esac;;
DOWNLOADCMD_L="ftp -o $DAILY_HETS_TARGET_L"
DOWNLOADCMD_M="ftp -o $DAILY_HETS_TARGET_M"
DOWNLOADCMD_S="ftp -o $DAILY_HETS_TARGET_S" ;;
*) echo "Unsupported Mac OS X processor: " `uname -p`
exit 2;;
esac;;
*) echo "Unsupported system: " `uname -s`
exit 2;;
esac
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
chmod a+x $HETS_LINUX
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