From daf7cd093d095475f428261b830388ff4463d26c Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 22 Aug 2013 16:48:05 -0700
Subject: [PATCH] Add .travis.windows.yml

---
 .travis.windows.yml | 19 +++++++++++--------
 .travis.yml         |  6 +++---
 README.md           |  2 +-
 3 files changed, 15 insertions(+), 12 deletions(-)

diff --git a/.travis.windows.yml b/.travis.windows.yml
index 5290c9386e..12c3a19ca1 100644
--- a/.travis.windows.yml
+++ b/.travis.windows.yml
@@ -9,23 +9,26 @@ env:
   - CMAKE_CXX_COMPILER=g++ CMAKE_BUILD_TYPE=DEBUG
 
 install:
-#  - sudo add-apt-repository --yes ppa:ubuntu-wine/ppa; do echo retry; done
-#  - sudo sh -c "echo ttf-mscorefonts-installer msttcorefonts/accepted-mscorefonts-eula select true | debconf-set-selections"
-#  - sudo apt-get -qq update
-#  - sudo apt-get -qq install wine-1.6
+  - sudo add-apt-repository --yes ppa:purplekarrot/cmake
+  - sudo apt-get -qq update
   - sudo apt-get -qq install cmake make
   - if [[ $DROPBOX == TRUE ]]; then
        sudo apt-get -qq install python python-pip;
        sudo pip install dropbox;
     fi
-  - wget http://dl.dropboxusercontent.com/u/203889738/gcc/mxe-gcc-4.8.1.tar.bz2 -O /tmp/gcc.tar.bz2;
-  - tar xvfj /tmp/gcc.tar.gz2
+  - mkdir -p /tmp/mxe
+  - cd /tmp/mxe
+  - wget http://dl.dropboxusercontent.com/u/203889738/gcc/mxe-gcc-4.8.1.tar.bz2
+  - tar xfj mxe-gcc-4.8.1.tar.bz2
+  - cd -
 
 script:
   - mkdir -p build
+  - LEAN_ROOT=`pwd`
   - cd build
-  - cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} ../src -DCMAKE_TOOLCHAIN_FILE=../usr/x86_64-w64-mingw32/share/cmake/mxe-conf.cmake
+  - cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} ../src -DCMAKE_TOOLCHAIN_FILE=/tmp/mxe/usr/x86_64-w64-mingw32/share/cmake/mxe-conf.cmake
   - make
+  - cd ..
 
 after_script:
 - if [[ $UPLOAD ]]; then
@@ -39,6 +42,6 @@ after_script:
 notifications:
   email:
     recipients:
-      - soonho.kong@gmail.com
+    - leansmt-dev@googlegroups.com
     on_success: always
     on_failure: always
diff --git a/.travis.yml b/.travis.yml
index f6d9aaac39..586baab2b7 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -17,7 +17,7 @@ env:
      DROPBOX=TRUE
      TRIGGER_BB=TRUE
      TRIGGER_OSX=TRUE
-     TRIGGER_WIN=TRUE
+     TRIGGER_WINDOWS=TRUE
    - CMAKE_CXX_COMPILER=g++-4.8
      CMAKE_BUILD_TYPE=DOXYGEN
      BUILD_DOXYGEN=TRUE
@@ -98,7 +98,7 @@ after_script:
       mv /tmp/.travis.temp.yml .travis.yml;
       git reset --hard HEAD~;
   fi
-- if [[ $TRIGGER_WIN == TRUE ]]; then
+- if [[ $TRIGGER_WINDOWS == TRUE ]]; then
       MSG=`git log --pretty=oneline --abbrev-commit -n 1 | cut -d ' ' -f 2-`;
       cp .travis.yml /tmp/.travis.temp.yml;
       cp .travis.windows.yml .travis.yml;
@@ -106,7 +106,7 @@ after_script:
       git config --global user.name "Travis CI";
       git add .travis.yml;
       git commit -m "$MSG";
-      git push -q https://soonhokong:${GH_TOKEN}@github.com/soonhokong/lean-win.git +HEAD:master;
+      git push -q https://soonhokong:${GH_TOKEN}@github.com/soonhokong/lean-windows.git +HEAD:master;
       mv /tmp/.travis.temp.yml .travis.yml;
       git reset --hard HEAD~;
   fi
diff --git a/README.md b/README.md
index 861bac46eb..e8eaf29310 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@ Ubuntu 12.04 LTS 64bit, g++-4.8 | clang++-3.3
 [![Build Status](https://travis-ci.org/soonhokong/lean-osx.png?branch=master)](https://travis-ci.org/soonhokong/lean-osx)
 Mac OS X 10.8.2, g++-4.8
 
-[![Build Status](https://travis-ci.org/soonhokong/lean-win.png?branch=master)](https://travis-ci.org/soonhokong/lean-win)
+[![Build Status](https://travis-ci.org/soonhokong/lean-windows.png?branch=master)](https://travis-ci.org/soonhokong/lean-windows)
 Windows, x86_64-w64-mingw32-g++-4.8.1
 
 Requirements