mirror of
https://github.com/php/php-src.git
synced 2024-09-22 10:27:25 +00:00
- use the ext deps list for phpize's ADD_EXTENSION_DEP function
This commit is contained in:
parent
6008152caa
commit
17d05d0d57
@ -1129,6 +1129,11 @@ function ADD_EXTENSION_DEP(extname, dependson, optional)
|
||||
var dep_present = false;
|
||||
var dep_shared = false;
|
||||
|
||||
if (MODE_PHPIZE) {
|
||||
ext_deps_js = file_get_contents(PHP_DIR + "\\script\\ext_deps.js");
|
||||
eval(ext_deps_js);
|
||||
}
|
||||
|
||||
try {
|
||||
dep_present = eval("PHP_" + DEP);
|
||||
|
||||
@ -1681,7 +1686,8 @@ function generate_phpize()
|
||||
|
||||
var count = extensions_enabled.length;
|
||||
for (i in extensions_enabled) {
|
||||
out = "PHP_" + extensions_enabled[i][0].toUpperCase() + "_SHARED=" + (extensions_enabled[i][1] == 'shared' ? 'True' : 'False');
|
||||
out = "PHP_" + extensions_enabled[i][0].toUpperCase() + "_SHARED=" + (extensions_enabled[i][1] == 'shared' ? 'true' : 'false') + ";";
|
||||
DEPS.WriteLine("PHP_" + extensions_enabled[i][0].toUpperCase() + "=true;");
|
||||
DEPS.WriteLine(out);
|
||||
MF.WriteLine(out);
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user