[racket-dev] making DrRacket.app

On Jul 8, 2013, at 21:15 , Matthew Flatt <mflatt at cs.utah.edu> wrote:

> Repairs pushed --- thanks for the report!

And thanks for the fix!

I have a symlink:  ls -n ~/test/plt/git/plt/racket /usr/local/racket

which I run after this get-racket script (below), and now everything is running perfectly.

Geoffrey

-----

#!/bin/bash

function usage {
    echo "usage: $0 COMMAND..."
    echo ""
    echo "  COMMAND = checkout | update | build"
    echo ""
    echo "  typical:  get-racket update build"
    echo ""
    exit 1
}

GITDIR=${HOME}/test/plt/git
PLTDIR=${GITDIR}/plt

if [ $# -lt 1 ]; then
    usage
fi

function plt_checkout {
    cd ${GITDIR}
    rm -rf plt
    git clone git://git.racket-lang.org/plt
}

function plt_update {
    cd ${PLTDIR}
    git pull
}

function plt_build {
    cd ${PLTDIR}
    make
}

until [ -z "$1" ]
do
    case $1 in
	checkout) plt_checkout ;;
	update)	  plt_update ;;
	build)    plt_build ;;
	*)
	    echo "ignored: $1"
	    ;;
    esac
    shift
done

exit 0