set up Travis builds

jamestiotio · Oct 26, 2015 · 819c281 · 819c281
1 parent 01ce4e5
commit 819c281
Show file tree

Hide file tree

Showing 2 changed files with 40 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -0,0 +1,38 @@
+language: java
+sudo: false
+
+env:
+  global:
+    - RACKET_DIR=~/racket 
+    - Z3_DIR=~/z3
+    - RACKET_VERSION="http://www.eecs.northwestern.edu/racket/6.2.1/racket-6.2.1-x86_64-linux-ubuntu-precise.sh"
+
+before_install:
+  - curl -L -o racket.sh $RACKET_VERSION
+
+install:
+  - sh ./racket.sh --in-place --dest $RACKET_DIR
+  - if [[ ! -e "$Z3_DIR/build/z3" ]]; then
+      rm -rf $Z3_DIR;
+      git clone https://github.com/z3prover/z3.git $Z3_DIR;
+      cd $Z3_DIR;
+      python scripts/mk_make.py;
+      cd $Z3_DIR/build;
+      make -j2;
+      cd $TRAVIS_BUILD_DIR;
+    else echo "using z3 from cache"; fi
+  - cp $Z3_DIR/build/z3 bin/
+  - bin/z3 --version
+  - cd $Z3_DIR && git rev-parse HEAD && cd $TRAVIS_BUILD_DIR
+
+script:
+  - ~/racket/bin/raco link rosette
+  - ~/racket/bin/raco setup -l rosette
+  - time ~/racket/bin/raco make test/all-rosette-tests.rkt
+  - ~/racket/bin/raco test test/all-rosette-tests.rkt
+  - time ~/racket/bin/raco make test/all-sdsl-tests.rkt
+  - ~/racket/bin/raco test test/all-sdsl-tests.rkt
+
+cache:
+  directories:
+    - $Z3_DIR
diff --git a/README.md b/README.md
@@ -1,6 +1,8 @@
 rosette
 =======
 
+[![Build Status](https://travis-ci.org/emina/rosette.svg?branch=master)](https://travis-ci.org/emina/rosette)
+
 This repository includes the source code and default solver binaries
 for the Rosette solver-aided host language, as well as several example
 solver-aided DSLs.