Fix #81136 opcache header not installed, causing shared build to fail

php · Jun 14, 2021 · a297c66 · a297c66
1 parent 4a10752
commit a297c66
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/NEWS b/NEWS
@@ -4,6 +4,7 @@ PHP                                                                        NEWS
 
 - Opcache:
   . Fixed bug #81133 (building opcache with phpize fails). (krakjoe)
+  . Fixed bug #81136 (opcache header not installed). (krakjoe)
 
 - PDO OCI:
   . Fixed bug #77120 (Support 'success with info' at connection).

diff --git a/configure.ac b/configure.ac
@@ -1570,6 +1570,7 @@ PHP_INSTALL_HEADERS([Zend/ TSRM/ include/ main/ main/streams/])
 PHP_INSTALL_HEADERS([Zend/Optimizer], [ \
     zend_call_graph.h \
     zend_cfg.h \
+    zend_dfg.h \
     zend_dump.h \
     zend_func_info.h \
     zend_inference.h \