diff options
| -rwxr-xr-x | dist/travis-ci.sh | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh index 327680576..6a84b08af 100755 --- a/dist/travis-ci.sh +++ b/dist/travis-ci.sh @@ -24,10 +24,14 @@ case "$BLD" in MAKEOPTS="" ;; - llvm*) - llvm_ver=`echo $BLD | sed -e 's/llvm//'` - ../configure --prefix="$prefix" --with-llvm-config=llvm-config$llvm_ver - MAKEOPTS="CXX=clang++$llvm_ver" + llvm-3.5) + ../configure --prefix="$prefix" --with-llvm-config=llvm-config-3.5 + MAKEOPTS="CXX=clang++" + ;; + + llvm-3.8) + ../configure --prefix="$prefix" --with-llvm-config=llvm-config-3.8 + MAKEOPTS="CXX=clang++-3.8" ;; *) |