From 6edf7f5b94e5806dd89c6c2a858527d06dedf3df Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Wed, 4 Sep 2013 03:41:57 -0700
Subject: [PATCH] Supress gcc warnings on OS X

---
 .travis.osx.yml     | 7 ++++---
 .travis.windows.yml | 3 ++-
 .travis.yml         | 3 ++-
 3 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/.travis.osx.yml b/.travis.osx.yml
index 80aef9e20..f8da8988d 100644
--- a/.travis.osx.yml
+++ b/.travis.osx.yml
@@ -13,17 +13,18 @@ before_script:
 - cd build
 - CPLUS_INCLUDE_PATH=/usr/local/include/c++/4.9.0/:/usr/local/include/c++/4.9.0/x86_64-apple-darwin12.4.0:/usr/local/include/c++/4.9.0/bits/
 - export CPLUS_INCLUDE_PATH
-- LIBRARY_PATH=/usr/local/lib
+- LIBRARY_PATH=/usr/local/lib:/local/lib/gcc/x86_64-apple-darwin12.4.0/4.9.0/
 - export LIBRARY_PATH
 - cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} -DCMAKE_CXX_COMPILER=/usr/local/bin/${CMAKE_CXX_COMPILER} ../src -G Ninja
 - cd ..
 
 script:
 - cd build
-- ctest -D ExperimentalBuild
+- ctest -D ExperimentalConfigure
+- ctest -D ExperimentalBuild -VV
 - yes "C" | ctest -D ExperimentalTest -VV
 - if [[ $MEMCHECK == TRUE ]]; then
-       ctest -D ExperimentalMemCheck;
+     ctest -D ExperimentalMemCheck;
   fi
 - if [[ $PUSH_TO_CDASH == TRUE ]]; then
     ctest -D ExperimentalSubmit;
diff --git a/.travis.windows.yml b/.travis.windows.yml
index d7aa3e42f..0e165a9f5 100644
--- a/.travis.windows.yml
+++ b/.travis.windows.yml
@@ -27,7 +27,8 @@ script:
   - LEAN_ROOT=`pwd`
   - cd build
   - cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} ../src -DCMAKE_TOOLCHAIN_FILE=/tmp/mxe/usr/x86_64-w64-mingw32/share/cmake/mxe-conf.cmake
-  - ctest -D ExperimentalBuild
+  - ctest -D ExperimentalConfigure
+  - ctest -D ExperimentalBuild -VV
   - if [[ $PUSH_TO_CDASH == TRUE ]]; then
        ctest -D ExperimentalSubmit;
     fi
diff --git a/.travis.yml b/.travis.yml
index 8e45c3a6b..ff0710ef2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -86,7 +86,8 @@ script:
   - cd build
   - cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} -DCMAKE_CXX_COMPILER=${CMAKE_CXX_COMPILER} ../src
   - if [[ $CMAKE_BUILD_TYPE == DEBUG || $CMAKE_BUILD_TYPE == RELEASE || $CMAKE_BUILD_TYPE == TESTCOV ]]; then
-       ctest -D ExperimentalBuild;
+       ctest -D ExperimentalConfigure;
+       ctest -D ExperimentalBuild -VV;
        yes "C" | ctest -D ExperimentalTest -VV;
     fi
   - if [[ $CMAKE_BUILD_TYPE == TESTCOV ]]; then