projects / feed / packages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f51dca1) | patch
php7: disable valgrind support
authorMichael Heimpold <mhei@heimpold.de>
Fri, 22 Dec 2017 21:00:20 +0000 (22:00 +0100)
committerMichael Heimpold <mhei@heimpold.de>
Thu, 28 Dec 2017 21:00:07 +0000 (22:00 +0100)
commit97305e41b61796869c1bd208d7532e0dc5e06fc0
treefebc8c1722427ffffc5101f07f164b2b824baddftree | snapshot
parentf51dca14cd39a175460daa5ebbe4e6df8c1f12abcommit | diff
php7: disable valgrind support

The check to enable/disable this new feature of PHP 7.2 works
incorrectly when cross-compiling because it detects the host headers
only and there is no way to pass in a dedicated directory.

The wish to change this was reported upstream at:
https://bugs.php.net/bug.php?id=75722

For the meantime, use a self-cooked patch.

Signed-off-by: Michael Heimpold <mhei@heimpold.de>
lang/php7/Makefile diff | blob | history
lang/php7/patches/1008-acinclude-valgrind.patch [new file with mode: 0644] blob
Mirror of packages feed