michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update .travis.yml to use ninja instead of GNU make

Browse source 
There is a bug in cmake. With GNU Make, it ignores the memcheck suppressions
file (src/memcheck.supp), while it works well with ninja.
This commit is contained in:
Soonho Kong 2013-09-15 02:19:29 -07:00
parent 09945add63
commit 993f720ce1
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.travis.yml
View file

@ -91,6 +91,7 @@ install:
- if [[ $USE_TCMALLOC == TRUE ]]; then until sudo add-apt-repository --yes ppa:agent-8131/ppa && sudo apt-get -qq update && sudo apt-get -qq install libgoogle-perftools-dev; do echo retry; done; fi
- until sudo apt-get -qq install libgmp-dev libmpfr-dev; do echo retry; done
- until sudo apt-get -qq install cmake; do echo retry; done
- sudo wget http://dl.dropboxusercontent.com/u/203889738/bin/ninja -O /usr/bin/ninja;
- until sudo apt-get -qq install libstdc++-4.8-dev; do echo retry; done
- if [[ $CMAKE_CXX_COMPILER == g++-4.8 ]]; then until sudo apt-get -qq install g++-4.8; do echo retry; done fi
- if [[ $CMAKE_CXX_COMPILER == clang++-3.3 ]]; then until sudo apt-get -qq install clang-3.3; do echo retry; done fi
@ -134,7 +135,7 @@ before_script:
script:
- mkdir -p build
- cd build
- cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} -DCMAKE_CXX_COMPILER=${CMAKE_CXX_COMPILER} ../src
- cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} -DCMAKE_CXX_COMPILER=${CMAKE_CXX_COMPILER} -G Ninja ../src
- if [[ $CMAKE_BUILD_TYPE == DEBUG || $CMAKE_BUILD_TYPE == RELEASE || $CMAKE_BUILD_TYPE == TESTCOV ]]; then
SITE=Ubuntu12.04@Travis;
GIT_COMMIT=`git log --oneline -n 1 | cut -d ' ' -f 1`;
@ -148,7 +149,7 @@ script:
sed -i "s/^Site:.*/Site:$SITE/" $CONFIG_FILE;
sed -i "s/BuildName:.*/BuildName:$BUILD_NAME/" $CONFIG_FILE;
if [[ $MEMCHECK == TRUE ]]; then
make;
ninja;
else
ctest -D ExperimentalConfigure;
sed -i "s/^Site:.*/Site:$SITE/" $CONFIG_FILE;