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

yet more path recognition variant

Browse Source
This commit is contained in:
Anatol Belski
2017-08-17 16:33:32 +02:00
parent d158c3c032
commit e7e92b35d0
1 changed files with 11 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -309,12 +309,20 @@ class Config
}
if (NULL == self::$depsLocalPath || $reset) {
if (file_exists("../deps")) {
self::setDepsLocalPath(realpath("../deps"));
$tmp = dirname(getcwd()) . DIRECTORY_SEPARATOR . "deps";
if (is_dir($tmp)) {
self::setDepsLocalPath($tmp);
}
}
if (NULL == self::$depsLocalPath || $reset) {
$tmp = realpath("../deps");
if (is_dir($tmp)) {
self::setDepsLocalPath($tmp);
}
}
if (NULL == self::$depsLocalPath || $reset) {
if (NULL == self::$depsLocalPath) {
if (file_exists("main/php_version.h")) {
/* Deps dir might not exist. */
self::setDepsLocalPath(realpath("..") . DIRECTORY_SEPARATOR . "deps");