install.sh revision 8003518d6f70b3c3bcdbc0f1981462465a3dd168
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder#!/bin/sh -x
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder#change daily snapshot into a backup or release
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder#the first argument should be a version number or a date
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder#compute date by "date -Idate"
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian MaederINSTALLDIR=/home/www/agbkb/forschung/formal_methods/CoFI/hets
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian MaederVERSION=$1
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maederfor i in linux solaris mac
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maederdo
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder (cd $INSTALLDIR/$i; cp -p daily/hets.bz2 versions/hets-$VERSION.bz2)
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maederdone
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder(cd $INSTALLDIR/src-distribution; \
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder cp -p daily/Het*.t* versions/Hets-src-$VERSION.tgz; \
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder cd versions; rm -rf HetCATS; \
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder tar zxf Hets-src-$VERSION.tgz)
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder
715a002611e0c503c11cc3aa80835763215e689dChristian Maeder# also unpack the new release as "recent overview of the modules"
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder