31 lines
735 B
Bash
Executable File
31 lines
735 B
Bash
Executable File
#!/bin/bash
|
|
MAJOR=1
|
|
MINOR=7
|
|
PROJNAME=whalesong
|
|
|
|
|
|
OLDDIR=`pwd`
|
|
mkdir -p tmp
|
|
rm -rf tmp/$PROJNAME
|
|
echo "Checking out clean repo"
|
|
git archive --format=tar --prefix=$PROJNAME/ HEAD | (cd tmp && tar xf -)
|
|
|
|
## Remove any directories that we don't want as part of the repository.
|
|
rm -rf $OLDDIR/tmp/whalesong/experiments
|
|
rm -rf $OLDDIR/tmp/whalesong/notes
|
|
rm -rf $OLDDIR/tmp/whalesong/simulator
|
|
rm -rf $OLDDIR/tmp/whalesong/sandbox
|
|
rm -rf $OLDDIR/tmp/whalesong/tests
|
|
|
|
|
|
cd $OLDDIR/tmp
|
|
|
|
raco planet unlink dyoo $PROJNAME.plt $MAJOR $MINOR
|
|
raco planet link dyoo $PROJNAME.plt $MAJOR $MINOR $PROJNAME
|
|
echo "Making planet package"
|
|
raco planet create $PROJNAME
|
|
|
|
raco planet unlink dyoo $PROJNAME.plt $MAJOR $MINOR
|
|
|
|
cd $OLDDIR
|
|
cp tmp/$PROJNAME.plt . |