crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-03-18 21:04:52 +08:00
Code Issues Packages Projects Releases Wiki Activity

set php 7.4 patch alternative

Browse Source
This commit is contained in:
crazywhalecc 2023-04-22 16:00:34 +08:00
parent 61a76dc0c9
commit 4b7c2fe84f
No known key found for this signature in database
GPG Key ID: 1F4BDD59391F2680
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/SPC/util/Patcher.php
View File

@ -16,7 +16,7 @@ class Patcher
* @throws FileSystemException * @throws FileSystemException
* @throws RuntimeException * @throws RuntimeException
*/ */
public static function patchPHPDepFiles(): void public static function patchMicroThings(): void
{ {
$ver_file = SOURCE_PATH . '/php-src/main/php_version.h'; $ver_file = SOURCE_PATH . '/php-src/main/php_version.h';
if (!file_exists($ver_file)) { if (!file_exists($ver_file)) {
@ -29,6 +29,9 @@ class Patcher
logger()->info('Patching php'); logger()->info('Patching php');
$major_ver = $match[1] . $match[2]; $major_ver = $match[1] . $match[2];
if ($major_ver === '74') {
return;
}
$check = !defined('DEBUG_MODE') ? ' -q' : ''; $check = !defined('DEBUG_MODE') ? ' -q' : '';
// f_passthru('cd ' . SOURCE_PATH . '/php-src && git checkout' . $check . ' HEAD'); // f_passthru('cd ' . SOURCE_PATH . '/php-src && git checkout' . $check . ' HEAD');