From bffe36a37f9344e2ea0f02567a5ccb75b44edc1c Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Mon, 22 Jul 2013 06:36:02 -0700
Subject: [PATCH] Add .travis.yml

---
 .travis.yml | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 000000000..24a7c0085
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,41 @@
+language: cpp
+
+env:
+  matrix:
+   - CMAKE_CXX_COMPILER=clang++-3.3
+     CMAKE_BUILD_TYPE=DEBUG
+   - CMAKE_CXX_COMPILER=g++-4.8
+     CMAKE_BUILD_TYPE=DEBUG
+   - CMAKE_CXX_COMPILER=clang++-3.3
+     CMAKE_BUILD_TYPE=RELEASE
+   - CMAKE_CXX_COMPILER=g++-4.8
+     CMAKE_BUILD_TYPE=RELEASE
+
+before_script:
+  - mkdir -p build
+  - cd build
+  - cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} -DCMAKE_CXX_COMPILER=${CMAKE_CXX_COMPILER} ../src
+
+script:
+  - make
+  - ctest -T test -VV
+
+install:
+  - sudo add-apt-repository --yes ppa:agent-8131/ppa
+  - sudo add-apt-repository --yes ppa:ubuntu-toolchain-r/test
+  - sudo add-apt-repository --yes ppa:h-rayflood/llvm
+  - sudo apt-get -qq update
+  - sudo apt-get -qq install libgoogle-perftools-dev
+  - sudo apt-get -qq install libgmp-dev
+  - sudo apt-get -qq install cmake
+  - sudo apt-get -qq install libstdc++-4.8-dev
+  - if [[ $CMAKE_CXX_COMPILER == g++-4.8 ]]; then sudo apt-get -qq install g++-4.8; fi
+  - if [[ $CMAKE_CXX_COMPILER == clang++-3.3 ]]; then sudo apt-get -qq install clang-3.3; fi
+
+notifications:
+  email:
+    recipients:
+    - soonhok@cs.cmu.edu
+    - leonardo@microsoft.com
+    on_success: always
+    on_failure: always