Install Racket using curl instead of apt-get

This commit is contained in:
Greg Hendershott 2013-07-02 14:35:42 -04:00
parent 358fbb74eb
commit e68f332201
2 changed files with 23 additions and 1 deletions

View File

@ -1,5 +1,6 @@
before_install: before_install:
- sudo apt-get install -qq racket - chmod u+rx ./install-racket.sh
- sudo ./install-racket.sh
script: script:
- raco make main.rkt - raco make main.rkt

21
install-racket.sh Normal file
View File

@ -0,0 +1,21 @@
RACKET_VERSION=5.3.5
RACKET_URL="http://download.racket-lang.org/installers/$VERSION/racket/racket-$VERSION-bin-x86_64-linux-f14.sh"
RACKET_INSTALLER="racket-$VERSION.sh"
echo "Downloading $RACKET_URL to $RACKET_INSTALLER..."
curl -o $RACKET_INSTALLER $RACKET_URL
if [[ ! -f $RACKET_INSTALLER ]]; then
echo "Error downloading Racket $VERSION from $RACKET_URL"
exit 1
fi
echo "Running Racket installer"
chmod u+rx "$RACKET_INSTALLER"
"$RACKET_INSTALLER" <<EOF
no
4
EOF
exit 0