2006-01-04 14:02:56 +00:00
|
|
|
#!/bin/sh
|
|
|
|
#------------------------------------------------------------------------------
|
|
|
|
#
|
|
|
|
# makedist.sh
|
|
|
|
#
|
|
|
|
# Make a Scyther distribution of the most recent revision.
|
|
|
|
#
|
|
|
|
#
|
|
|
|
# A distribution is a directory
|
|
|
|
#
|
|
|
|
# scyther/
|
2006-08-11 19:04:36 +01:00
|
|
|
# - everything from ../gui
|
2006-01-04 14:02:56 +00:00
|
|
|
# SPORE/
|
|
|
|
# - spore files
|
|
|
|
#
|
|
|
|
|
|
|
|
#------------------------------------------------------------------------------
|
|
|
|
#
|
|
|
|
# Parameters
|
|
|
|
|
2006-08-11 19:04:36 +01:00
|
|
|
RELEASE="scyther-1.0-beta4"
|
|
|
|
|
|
|
|
ARCHIVE="$RELEASE.tgz"
|
|
|
|
ZIPPED="$RELEASE.zip"
|
2006-01-04 14:02:56 +00:00
|
|
|
|
|
|
|
# Creates a temporary subdirectory here.
|
|
|
|
TMPDIR=/tmp/scytherdist
|
|
|
|
WORKNAME=scyther
|
|
|
|
|
|
|
|
# Repository
|
2006-08-11 19:04:36 +01:00
|
|
|
PROTROOT=https://svn.win.tue.nl/repos/ecss/trunk/protocols/spdl
|
|
|
|
SVNROOT=https://svn.win.tue.nl/repos/scyther/trunk
|
2006-01-04 14:02:56 +00:00
|
|
|
|
|
|
|
#------------------------------------------------------------------------------
|
|
|
|
#
|
|
|
|
# Derived things
|
|
|
|
|
|
|
|
WORKDIR=$TMPDIR/$WORKNAME
|
|
|
|
CURDIR=$PWD
|
|
|
|
DEST=$PWD/$ARCHIVE
|
2006-08-11 19:04:36 +01:00
|
|
|
ZIPDEST=$PWD/$ZIPPED
|
2006-01-04 14:02:56 +00:00
|
|
|
|
|
|
|
#------------------------------------------------------------------------------
|
|
|
|
#
|
|
|
|
# Init
|
|
|
|
|
|
|
|
# Remove old remnants and create a new directory
|
|
|
|
rm -f $DEST
|
2006-08-11 19:04:36 +01:00
|
|
|
rm -f $ZIPDEST
|
2006-01-04 14:02:56 +00:00
|
|
|
rm -rf $TMPDIR
|
|
|
|
mkdir $TMPDIR
|
|
|
|
|
|
|
|
#------------------------------------------------------------------------------
|
|
|
|
#
|
|
|
|
# Collect required data and set up
|
|
|
|
|
|
|
|
|
|
|
|
# Fill
|
2006-08-11 19:04:36 +01:00
|
|
|
svn export $SVNROOT/gui $WORKDIR
|
|
|
|
svn export $PROTROOT/SPORE $WORKDIR/SPORE
|
2006-01-04 14:02:56 +00:00
|
|
|
|
|
|
|
#------------------------------------------------------------------------------
|
|
|
|
#
|
|
|
|
# Collected all needed data, finish up
|
|
|
|
|
|
|
|
# Compress
|
|
|
|
cd $TMPDIR
|
|
|
|
tar zcvf $DEST $WORKNAME
|
2006-08-11 19:04:36 +01:00
|
|
|
zip -r $ZIPDEST $WORKNAME
|
2006-01-04 14:02:56 +00:00
|
|
|
|
|
|
|
# Remove garbage
|
|
|
|
rm -rf $TMPDIR
|
|
|
|
|
|
|
|
#------------------------------------------------------------------------------
|
|
|
|
# Done.
|