#!/bin/bash MAJOR=1 MINOR=9 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 .