Commit 7d044bf4 authored by Ansgar Burchardt's avatar Ansgar Burchardt
Browse files

Revert to clang as clang-3.8 is now the default.

parent 78c48856
...@@ -9,7 +9,7 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \ ...@@ -9,7 +9,7 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
bison \ bison \
build-essential \ build-essential \
ca-certificates \ ca-certificates \
clang-3.8 \ clang \
cmake \ cmake \
coinor-libipopt-dev \ coinor-libipopt-dev \
curl \ curl \
......
CMAKE_FLAGS="-DCMAKE_CXX_COMPILER='/usr/bin/clang++-3.8' -DCMAKE_C_COMPILER=/usr/bin/clang-3.8 -DCMAKE_CXX_FLAGS='-O2 -g -Wall -fcolor-diagnostics -ftemplate-backtrace-limit=0'" CMAKE_FLAGS="-DCMAKE_CXX_COMPILER='/usr/bin/clang++' -DCMAKE_C_COMPILER=/usr/bin/clang -DCMAKE_CXX_FLAGS='-O2 -g -Wall -fcolor-diagnostics -ftemplate-backtrace-limit=0'"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment