Travis integration

Author: palmskog

.travis-ci.sh

@@ -0,0 +1,26 @@
+set -e
+
+pushd ..
+wget 'http://homes.cs.washington.edu/~jrw12/coq-8.5-build-local.tgz'
+tar xf coq-8.5-build-local.tgz
+export PATH=$PWD/coq-8.5/bin:$PATH
+popd
+
+./build.sh
+
+case $DOWNSTREAM in
+verdi)
+  pushd ..
+    git clone 'http://github.com/uwplse/StructTact'
+    pushd StructTact
+      ./build.sh
+    popd
+
+    git clone 'http://github.com/uwplse/verdi'
+    pushd verdi
+      ./build.sh
+    popd
+  popd
+  ;;
+esac
+

.travis.yml

@@ -0,0 +1,7 @@
+language: c
+script: bash -ex .travis-ci.sh
+env:
+  matrix:
+    - DOWNSTREAM=none
+    - DOWNSTREAM=verdi
+sudo: false