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

add possibility to reevaluate the deps path

Browse Source
This commit is contained in:
Anatol Belski
2017-08-17 16:17:47 +02:00
parent 69fb69fd93
commit d158c3c032
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -294,9 +294,9 @@ class Config
return file_get_contents($path);
}/*}}}*/
public static function getDepsLocalPath() : ?string
public static function getDepsLocalPath(bool $reset = false) : ?string
{/*{{{*/
if (NULL == self::$depsLocalPath) {
if (NULL == self::$depsLocalPath || $reset) {
if (file_exists("Makefile")) {
$s = file_get_contents("Makefile");
@@ -308,13 +308,13 @@ class Config
}
}
if (NULL == self::$depsLocalPath) {
if (NULL == self::$depsLocalPath || $reset) {
if (file_exists("../deps")) {
self::setDepsLocalPath(realpath("../deps"));
}
}
if (NULL == self::$depsLocalPath) {
if (NULL == self::$depsLocalPath || $reset) {
if (file_exists("main/php_version.h")) {
/* Deps dir might not exist. */
self::setDepsLocalPath(realpath("..") . DIRECTORY_SEPARATOR . "deps");