mirror of
https://github.com/open62541/open62541.git
synced 2025-06-03 04:00:21 +00:00
Use valgrind 3.11
This commit is contained in:
parent
2def5858cd
commit
8eed598e12
@ -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
|
||||
|
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user