Updated CI build machine configs

[libcds.git] / build / CI / VASEx-CI-2 / ci-env

diff --git a/build/CI/VASEx-CI-2/ci-env b/build/CI/VASEx-CI-2/ci-env
index 189c56cc1408b0e5b16d5633b2f6932cc8cf909f..23b1c84323d68e91c0549856eb70416bcd525735 100644 (file)
--- a/build/CI/VASEx-CI-2/ci-env
+++ b/build/CI/VASEx-CI-2/ci-env
@@ -15,11 +15,13 @@ CLANG36_ROOT=$TOOLSET_ROOT/clang-3.6
 CLANG37_ROOT=$TOOLSET_ROOT/clang-3.7
 CLANG38_ROOT=$TOOLSET_ROOT/clang-3.8
 CLANG39_ROOT=$TOOLSET_ROOT/clang-3.9
+CLANG4_ROOT=$TOOLSET_ROOT/clang-4
 
 CLANG_STDLIB="-stdlib=libc++"
 CLANG37_CXXFLAGS=$CLANG_STDLIB
 CLANG38_CXXFLAGS=$CLANG_STDLIB
 CLANG39_CXXFLAGS=$CLANG_STDLIB
+CLANG4_CXXFLAGS=$CLANG_STDLIB
 
 LIB_ROOT=$HOME/lib
 BOOST_ROOT=$LIB_ROOT/boost