Use valgrind 3.11

This commit is contained in:
Stefan Profanter 2016-03-03 15:22:09 +01:00
parent 2def5858cd
commit 8eed598e12
2 changed files with 13 additions and 3 deletions

View File

@ -46,11 +46,11 @@ addons:
- gcc-mingw-w64-i686
- gcc-multilib
- g++-4.8
- libc6-dbg # for valgrind compilation
- libsubunit-dev
- libx11-dev
- mingw-w64
- python-lxml
- valgrind
- wget
- xutils-dev
- zip
@ -78,7 +78,7 @@ before_install:
- export C_INCLUDE_PATH=$LOCAL_PKG/include:$C_INCLUDE_PATH
- export CPLUS_INCLUDE_PATH=$LOCAL_PKG/include:$CPLUS_INCLUDE_PATH
- export PKG_CONFIG_PATH=$LOCAL_PKG/lib/pkgconfig:$PKG_CONFIG_PATH
- export PATH=$PATH:$LOCAL_PKG
- export PATH=$LOCAL_PKG:$LOCAL_PKG/bin:$PATH
# set local path for python packages
- export PATH=$PATH:$HOME/.local/bin # linux
- export PATH=$PATH:$HOME/Library/Python #OS X

View File

@ -7,6 +7,16 @@ if [ $ANALYZE = "true" ]; then
else
cd $LOCAL_PKG
# Install newer valgrind
mkdir -p $LOCAL_PKG/package && cd $LOCAL_PKG/package
wget http://valgrind.org/downloads/valgrind-3.11.0.tar.bz2
tar xf valgrind-3.11.0.tar.bz2
cd valgrind-3.11.0
./configure --prefix=$LOCAL_PKG
make -s -j8 install
echo "\n### Installed valgrind version: $(valgrind --version)"
cd $LOCAL_PKG
# Install specific check version which is not yet in the apt package
wget http://ftp.de.debian.org/debian/pool/main/c/check/check_0.10.0-3_amd64.deb
dpkg -x check_0.10.0-3_amd64.deb $LOCAL_PKG/package
@ -32,4 +42,4 @@ else
pip install --user cpp-coveralls
pip install --user sphinx
pip install --user sphinx_rtd_theme
fi
fi