archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 13:38:49 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Add zend_worklist.h to PHP_INSTALL_HEADERS (#12571)

Browse source 
Fixes GH-12565
This commit is contained in:
Ilija Tovilo 2023-10-30 19:37:27 +01:00 • committed by GitHub
parent 411b6fb4e6
commit 2efe366af6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
configure.ac
View file

@ -1699,7 +1699,8 @@ PHP_INSTALL_HEADERS([Zend/Optimizer], [ \
zend_func_info.h \
zend_inference.h \
zend_optimizer.h \
zend_ssa.h])
zend_ssa.h \
zend_worklist.h])
PHP_ADD_SOURCES(TSRM, TSRM.c, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)

2
win32/build/config.w32
View file

@ -323,7 +323,7 @@ if (VS_TOOLSET && VCVERS >= 1914) {
}
PHP_INSTALL_HEADERS("", "Zend/ TSRM/ main/ main/streams/ win32/");
PHP_INSTALL_HEADERS("Zend/Optimizer", "zend_call_graph.h zend_cfg.h zend_dump.h zend_func_info.h zend_inference.h zend_optimizer.h zend_ssa.h");
PHP_INSTALL_HEADERS("Zend/Optimizer", "zend_call_graph.h zend_cfg.h zend_dump.h zend_func_info.h zend_inference.h zend_optimizer.h zend_ssa.h zend_worklist.h");
STDOUT.WriteBlankLines(1);