php/archived-php-sdk-binary-tools
1
0
Fork 0
mirror of https://github.com/php/php-sdk-binary-tools.git synced 2026-03-23 23:22:08 +01:00
Code Issues Packages Projects Releases Wiki Activity

refactor dependency dir recognition

Browse Source
This commit is contained in:
Anatol Belski
2017-08-17 14:06:01 +02:00
parent 022333118e
commit aee165fe05
1 changed files with 17 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
lib/php/libsdk/SDK/Config.php
View File

@@ -296,10 +296,26 @@ class Config
public static function getDepsLocalPath() : ?string
{/*{{{*/
if (NULL == self::$depsLocalPath) {
if (file_exists("Makefile")) {
$s = file_get_contents("Makefile");
if (preg_match(",PHP_BUILD=(.+),", $s, $m)) {
if (isset($m[1]) && is_dir($m[1])) {
self::setDepsLocalPath(realpath($m[1]));
}
}
}
}
if (NULL == self::$depsLocalPath) {
if (file_exists("../deps")) {
self::setDepsLocalPath(realpath("../deps"));
} else if (file_exists("main/php_version.h")) {
}
}
if (NULL == self::$depsLocalPath) {
if (file_exists("main/php_version.h")) {
/* Deps dir might not exist. */
self::setDepsLocalPath(realpath("..") . DIRECTORY_SEPARATOR . "deps");
}