Requiering package libstdc++-5-dev

Author: romainbrenguier

.travis.yml

@@ -30,6 +30,7 @@ matrix:
             - clang-3.7
             - libubsan0
             - libc++-dev
+	    - libstdc++-5-dev
       before_install:
         - mkdir bin ; ln -s /usr/bin/clang-3.7 bin/gcc
       # env: COMPILER=clang++-3.7 SAN_FLAGS="-fsanitize=undefined -fno-sanitize-recover=undefined,integer -fno-omit-frame-pointer"
@@ -48,4 +49,4 @@ script:
     make -C src minisat2-download &&
     make -C src CXX="$COMPILER" CXXFLAGS="-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 &&
     env UBSAN_OPTIONS=print_stacktrace=1 make -C regression test &&
-    make -C src CXX="$COMPILER" CXXFLAGS=$FLAGS -j2 aa-symex.dir cegis.dir clobber.dir memory-models.dir musketeer.dir
+    make -C src CXX="$COMPILER" CXXFLAGS="-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 aa-symex.dir cegis.dir clobber.dir memory-models.dir musketeer.dir