From e68f332201ead542c900017a8e749cd2bc64ce8a Mon Sep 17 00:00:00 2001
From: Greg Hendershott <greghendershott@gmail.com>
Date: Tue, 2 Jul 2013 14:35:42 -0400
Subject: [PATCH] Install Racket using curl instead of apt-get

---
 .travis.yml       |  3 ++-
 install-racket.sh | 21 +++++++++++++++++++++
 2 files changed, 23 insertions(+), 1 deletion(-)
 create mode 100644 install-racket.sh

diff --git a/.travis.yml b/.travis.yml
index 7ef9610..fcf4cc8 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,5 +1,6 @@
 before_install:
- - sudo apt-get install -qq racket
+ - chmod u+rx ./install-racket.sh
+ - sudo ./install-racket.sh
 
 script:
  - raco make main.rkt
diff --git a/install-racket.sh b/install-racket.sh
new file mode 100644
index 0000000..b1b17d1
--- /dev/null
+++ b/install-racket.sh
@@ -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