From 76dffd368c655d9aa30dc995d7c3a9cd4b5a2de0 Mon Sep 17 00:00:00 2001
From: Alex Knauth <alexander@knauth.org>
Date: Wed, 13 May 2015 16:56:22 -0400
Subject: [PATCH] Update .travis.yml

with suggestion from samth here:
https://github.com/AlexKnauth/typed-racket/pull/1
---
 .travis.yml | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 49ef5e2f..4658de83 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,7 +4,9 @@ env:
 - PATH=~/racket/bin:$PATH
 
 before_install:
-- curl -L -o installer.sh http://www.cs.utah.edu/plt/snapshots/current/installers/min-racket-current-x86_64-linux-precise.sh
+- "export DISPLAY=:99.0"
+- "sh -e /etc/init.d/xvfb start"
+- curl -L -o installer.sh http://plt.eecs.northwestern.edu/snapshots/current/installers/racket-test-current-x86_64-linux-precise.sh
 - sh installer.sh --in-place --dest ~/racket/
 
 install:
@@ -12,9 +14,16 @@ install:
 - echo file://`pwd`/pkgs-catalog/ > catalog-config.txt
 - raco pkg config catalogs >> catalog-config.txt
 - raco pkg config --set catalogs `cat catalog-config.txt`
-- raco pkg install --deps search-auto typed-racket-lib
+- raco pkg update -i --no-setup source-syntax/ typed-racket-lib/ typed-racket-more/ typed-racket-compatibility/ typed-racket-doc/ typed-racket/ typed-racket-test/
+- raco setup typed typed-racket typed-racket-test
 
 script:
+- racket -l typed-racket-test/run -- --unit
+- racket -l typed-racket-test/run -- --int
+- racket -l typed-racket-test/run -- --opt
+- racket -l typed-racket-test/run -- --missed-opt
+- raco setup -j 1 math
+- racket -l typed-racket-test/run -- --math
 - echo "done"
 
 after_script: