From daf5250df68304cc3d1b2b7a2d56da229a64a7e2 Mon Sep 17 00:00:00 2001
From: Tim Zimmermann <tim.zimmermann@student.hpi.de>
Date: Wed, 6 Sep 2017 13:03:32 +0000
Subject: [PATCH] Switch to gcc5, provide stdlib for clang builds

Trying to fix CI
---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index b6fd166..8a08b6c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,7 +4,7 @@ language: cpp
 install:
   - sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
   - sudo apt-get -qq update
-  - sudo apt-get install -y g++-4.8 libstdc++-4.8-dev
+  - sudo apt-get install -y g++-5 libstdc++-5-dev
   - sudo apt-get install -y flex valgrind
   - sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-4.8 90
   - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.8 90
@@ -22,6 +22,7 @@ install:
   - bison --version
   - flex --version
   - valgrind --version
+  - if [ "$CXX" = "clang++" ]; then export CXXFLAGS="-stdlib=libc++"; fi
 
 compiler:
   - gcc