hets/utils/uninstall.sh

	uninstall.sh revision 5674c32995ec708ca0866242df6a466b3f05c52b
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder#!/bin/sh -x
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder#remove an installed version
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder#the first argument should be a version number or a date
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder#compute date by "date -Idate"
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder
5674c32995ec708ca0866242df6a466b3f05c52bChristian MaederINSTALLDIR=/home/www/agbkb/forschung/formal_methods/CoFI/hets
5674c32995ec708ca0866242df6a466b3f05c52bChristian MaederVERSION=$1
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maederfor i in linux solaris mac
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maederdo
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder  (cd $INSTALLDIR/$i; rm versions/hets-$VERSION.bz2)
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maederdone
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder(cd $INSTALLDIR/src-distribution; rm versions/Hets-src-$VERSION.tgz)
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder