crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-07-16 21:35:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'main' into ext/snmp

Browse Source 
# Conflicts:
#	src/globals/test-extensions.php
This commit is contained in:
crazywhalecc
2025-10-26 03:11:01 +08:00
parent e54971563d f8c8300c9c
commit 43615dbb84
8 changed files with 82 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
config/env.ini
View File

@@ -65,7 +65,7 @@ PHP_SDK_PATH="${WORKING_DIR}\php-sdk-binary-tools"
; upx executable path
UPX_EXEC="${PKG_ROOT_PATH}\bin\upx.exe"
; phpmicro patches, for more info, see: https://github.com/easysoft/phpmicro/tree/master/patches
SPC_MICRO_PATCHES=static_extensions_win32,cli_checks,disable_huge_page,vcruntime140,win32,zend_stream,cli_static
SPC_MICRO_PATCHES=static_extensions_win32,cli_checks,disable_huge_page,vcruntime140,win32,zend_stream,cli_static,win32_api
[linux]
; Linux can use different build toolchains.

2
config/source.json
View File

@@ -762,7 +762,7 @@
"micro": {
"type": "git",
"path": "php-src/sapi/micro",
"rev": "php-85-win",
"rev": "master",
"url": "https://github.com/static-php/phpmicro",
"license": {
"type": "file",