Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

executable file 31 lines (23 sloc) 0.736 kB
#!/bin/bash
MAJOR=1
MINOR=19
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 .
Jump to Line
Something went wrong with that request. Please try again.