From 74457c10cf44a59cd430e9d94f73d4ce522570b7 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Mon, 12 Aug 2013 15:34:42 -0700
Subject: [PATCH] Add .travis.osx.yml and update .travis.yml to trigger OSX
 build

---
 .travis.osx.yml | 55 +++++++++++++++++++++++++++++++++++++++++++++++++
 .travis.yml     |  9 ++++++++
 2 files changed, 64 insertions(+)
 create mode 100644 .travis.osx.yml

diff --git a/.travis.osx.yml b/.travis.osx.yml
new file mode 100644
index 000000000..744c02f48
--- /dev/null
+++ b/.travis.osx.yml
@@ -0,0 +1,55 @@
+language: objective-c
+
+env:
+  matrix:
+   - CMAKE_CXX_COMPILER=g++
+     CMAKE_BUILD_TYPE=DEBUG
+     USE_TCMALLOC=TRUE
+   - CMAKE_CXX_COMPILER=g++
+     CMAKE_BUILD_TYPE=DEBUG
+     USE_TCMALLOC=FALSE
+   - CMAKE_CXX_COMPILER=g++
+     CMAKE_BUILD_TYPE=RELEASE
+     USE_TCMALLOC=TRUE
+   - CMAKE_CXX_COMPILER=g++
+     CMAKE_BUILD_TYPE=RELEASE
+     USE_TCMALLOC=FALSE
+
+before_script:
+  - mkdir -p build
+  - cd build
+  - CPLUS_INCLUDE_PATH=/usr/local/include/c++/4.8.1/:/usr/local/include/c++/4.8.1/x86_64-apple-darwin12.4.0:/usr/local/include/c++/4.8.1/bits/
+  - export CPLUS_INCLUDE_PATH
+  - LIBRARY_PATH=/usr/local/lib
+  - export LIBRARY_PATH
+  - cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} -DCMAKE_CXX_COMPILER=/usr/local/bin/${CMAKE_CXX_COMPILER} ../src -G Ninja
+
+script:
+  - ninja && ctest -T test -VV
+
+install:
+  - if [[ $CMAKE_CXX_COMPILER == g++ ]]; then
+      cd /;
+      wget http://prdownloads.sourceforge.net/hpc/gcc-mlion.tar.gz?download -O /tmp/gcc-mlion.tar.gz;
+      sudo tar xvfz /tmp/gcc-mlion.tar.gz;
+      cd -;
+    fi
+  - sudo chown -R `whoami` /usr/local
+  - brew install cmake ninja
+  - brew link -f cmake
+  - brew link -f ninja
+  - brew install gmp
+  - brew link --overwrite gmp
+  - brew install mpfr
+  - brew link --overwrite mpfr
+  - if [[ $USE_TCMALLOC == TRUE ]]; then
+      brew install google-perftools;
+      brew link --overwrite google-perftools;
+    fi
+
+notifications:
+  email:
+    recipients:
+    - leansmt-dev@googlegroups.com
+    on_success: always
+    on_failure: always
diff --git a/.travis.yml b/.travis.yml
index f27a2cba8..e4b977391 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -27,6 +27,7 @@ env:
    - CMAKE_CXX_COMPILER=g++-4.8
      CMAKE_BUILD_TYPE=RELEASE
      USE_TCMALLOC=FALSE
+   - TRIGGER_OSX=TRUE
 
 before_script:
   - mkdir -p build
@@ -42,6 +43,14 @@ after_success:
   - if [[ $BUILD_DOXYGEN == TRUE ]]; then ./script/update_doxygen.sh; fi
 
 install:
+  - if [[ $TRIGGER_OSX == TRUE ]]; then
+      git remote add osx git@github.com:soonhokong/lean-osx.git;
+      git fetch --all;
+      cp .travis.osx.yml .travis.yml;
+      git add .travis.yml;
+      git ci -m "Plug-in .travis.osx.yml";
+      git push osx +master;
+    fi
   - until sudo add-apt-repository --yes ppa:ubuntu-toolchain-r/test; do echo retry; done
   - until sudo add-apt-repository --yes ppa:h-rayflood/llvm; do echo retry; done
   - until sudo apt-get -qq update; do echo retry; done