Req #75722 [NEW]: Convert valgrind detection to configure option
From: mhei at heimpold dot de
Operating system: Linux / OpenWrt
PHP version: 7.2.0
Package: *Compile Issues
Bug Type: Feature/Change Request
Bug description:Convert valgrind detection to configure option
Description:
------------
The configure script (acinclude.m4) currently searches for valgrind
header file and enables valgrin support if found.
When cross-compiling the searched paths are invalid for the target
platform because they below to the host system. There seems to be no way
to give the build system a dedicated path where to look.
This leads to the issue, that when cross-compiling eg. for ARMv5
platform, that valgrind header file is detected - because host system is
amd64 - and support is enabled but target platform will never support
valgrind (valgrind requires e.g. at least ARMv7).
So the proposal is to fix/rework the detection, or better add a
configuration option for this, e.g. --without-valgrind-support or
--with-valgrind-support=<dir> as used for other libraries should be
enough.
--
Edit bug report at https://bugs.php.net/bug.php?id=75722&edit=1
--
Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=75722&r=trysnapshot54
Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=75722&r=trysnapshot55
Try a snapshot (trunk): https://bugs.php.net/fix.php?id=75722&r=trysnapshottrunk
Fixed in SVN: https://bugs.php.net/fix.php?id=75722&r=fixed
Fixed in release: https://bugs.php.net/fix.php?id=75722&r=alreadyfixed
Need backtrace: https://bugs.php.net/fix.php?id=75722&r=needtrace
Need Reproduce Script: https://bugs.php.net/fix.php?id=75722&r=needscript
Try newer version: https://bugs.php.net/fix.php?id=75722&r=oldversion
Not developer issue: https://bugs.php.net/fix.php?id=75722&r=support
Expected behavior: https://bugs.php.net/fix.php?id=75722&r=notwrong
Not enough info: https://bugs.php.net/fix.php?id=75722&r=notenoughinfo
Submitted twice: https://bugs.php.net/fix.php?id=75722&r=submittedtwice
register_globals: https://bugs.php.net/fix.php?id=75722&r=globals
PHP 4 support discontinued: https://bugs.php.net/fix.php?id=75722&r=php4
Daylight Savings: https://bugs.php.net/fix.php?id=75722&r=dst
IIS Stability: https://bugs.php.net/fix.php?id=75722&r=isapi
Install GNU Sed: https://bugs.php.net/fix.php?id=75722&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=75722&r=float
No Zend Extensions: https://bugs.php.net/fix.php?id=75722&r=nozend
MySQL Configuration Error: https://bugs.php.net/fix.php?id=75722&r=mysqlcfg
Thread (2 messages)
- mhei at heimpold dot de