diff options
author | Jérôme Pouiller <jezz@sysmic.org> | 2016-11-09 10:51:24 +0100 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2016-11-09 22:15:06 +0100 |
commit | afc9274715d0bf4c92bd930cdeb91bdc60904c4f (patch) | |
tree | 74f7217d085b34cbee6f9b362be621dd48992a3f /package/valgrind | |
parent | 6668a0ed5ce5174d2307997e7a6d7c9f94ccb282 (diff) |
valgrind: do not use host mpicc
Valgrind may use 'mpicc' (from openmi project) to compile libmpiwrap-*.so.
Without any option, it will detect and use 'mpicc' from host and generate
libmpiwrap-*.so for host:
$ file target/usr/lib/valgrind/libmpiwrap-arm-linux.so
target/usr/lib/valgrind/libmpiwrap-arm-linux.so: ELF 64-bit LSB shared object,
x86-64, version 1 (SYSV), dynamically linked, not stripped
We simply disable openmi support for valgrind.
Signed-off-by: Jérôme Pouiller <jezz@sysmic.org>
[Thomas: refactor with other unconditional CONF_OPTS.]
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'package/valgrind')
-rw-r--r-- | package/valgrind/valgrind.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/package/valgrind/valgrind.mk b/package/valgrind/valgrind.mk index 09f711662..087a3813a 100644 --- a/package/valgrind/valgrind.mk +++ b/package/valgrind/valgrind.mk @@ -9,7 +9,9 @@ VALGRIND_SITE = http://valgrind.org/downloads VALGRIND_SOURCE = valgrind-$(VALGRIND_VERSION).tar.bz2 VALGRIND_LICENSE = GPLv2 GFDLv1.2 VALGRIND_LICENSE_FILES = COPYING COPYING.DOCS -VALGRIND_CONF_OPTS = --disable-ubsan +VALGRIND_CONF_OPTS = \ + --disable-ubsan \ + --without-mpicc VALGRIND_INSTALL_STAGING = YES # patch 0004-Fixes-for-musl-libc.patch touching configure.ac |