diff options
Diffstat (limited to 'ci/travis.sh')
| -rw-r--r-- | ci/travis.sh | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/ci/travis.sh b/ci/travis.sh deleted file mode 100644 index c701143..0000000 --- a/ci/travis.sh +++ /dev/null @@ -1,45 +0,0 @@ -#!/usr/bin/env sh -set -evx - -chmod +x ci/get-nprocessors.sh -. ci/get-nprocessors.sh - -# If possible, ask for the precise number of processors, -# otherwise take 2 processors as reasonable default; see -# https://docs.travis-ci.com/user/speeding-up-the-build/#Makefile-optimization -if [ -x /usr/bin/getconf ]; then - NPROCESSORS=$(/usr/bin/getconf _NPROCESSORS_ONLN) -else - NPROCESSORS=2 -fi - -# As of 2017-09-04 Travis CI reports 32 processors, but GCC build -# crashes if parallelized too much (maybe memory consumption problem), -# so limit to 4 processors for the time being. -if [ $NPROCESSORS -gt 4 ]; then - echo "$0:Note: Limiting processors to use by make from $NPROCESSORS to 4." - NPROCESSORS=4 -fi - -# Tell make to use the processors. No preceding '-' required. -MAKEFLAGS="j${NPROCESSORS}" -export MAKEFLAGS - -env | sort - -# Set default values to OFF for these variables if not specified. -: "${NO_EXCEPTION:=OFF}" -: "${NO_RTTI:=OFF}" -: "${COMPILER_IS_GNUCXX:=OFF}" - -mkdir build || true -cd build - -cmake3 -DCMAKE_CXX_FLAGS=$CXX_FLAGS \ - -DCMAKE_BUILD_TYPE=$BUILD_TYPE \ - -DASAN_OPTION=$ASAN_OPTION \ - -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX \ - -DVERSION_DAILY_BUILD=$TESTING_VERSION_BUILD \ - .. - -make -j $NPROCESSORS |