mirror of
https://github.com/php/php-src.git
synced 2025-08-20 09:24:05 +02:00
- new usual suspects
This commit is contained in:
parent
166dee99e0
commit
3b0d28bbb5
1 changed files with 2 additions and 2 deletions
|
@ -231,8 +231,8 @@ if (PHP_PHP_BUILD == 'no') {
|
||||||
ARG_WITH('extra-includes', 'Extra include path to use when building everything', '');
|
ARG_WITH('extra-includes', 'Extra include path to use when building everything', '');
|
||||||
ARG_WITH('extra-libs', 'Extra library path to use when linking everything', '');
|
ARG_WITH('extra-libs', 'Extra library path to use when linking everything', '');
|
||||||
|
|
||||||
var php_usual_include_suspects = PHP_PHP_BUILD+"\\include;..\\bindlib_w32";
|
var php_usual_include_suspects = PHP_PHP_BUILD+"\\include;..\\deps\\include;..\\bindlib_w32;";
|
||||||
var php_usual_lib_suspects = PHP_PHP_BUILD+"\\lib;..\\bindlib_w32";
|
var php_usual_lib_suspects = PHP_PHP_BUILD+"\\lib;..\\deps\\lib;..\\bindlib_w32";
|
||||||
|
|
||||||
// Poke around for some headers
|
// Poke around for some headers
|
||||||
function probe_basic_headers()
|
function probe_basic_headers()
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue