diff options
Diffstat (limited to 'Zend')
-rw-r--r-- | Zend/Makefile.frag | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Zend/Makefile.frag b/Zend/Makefile.frag index 34bf9c6cfb..44f33c9428 100644 --- a/Zend/Makefile.frag +++ b/Zend/Makefile.frag @@ -28,3 +28,8 @@ $(srcdir)/zend_ini_parser.c: $(srcdir)/zend_ini_parser.y $(srcdir)/zend_ini_scanner.c: $(srcdir)/zend_ini_scanner.l @(cd $(top_srcdir); $(RE2C) $(RE2C_FLAGS) --no-generation-date --case-inverted -cbdFt Zend/zend_ini_scanner_defs.h -oZend/zend_ini_scanner.c Zend/zend_ini_scanner.l) + +$(srcdir)/zend_vm_execute.h: $(srcdir)/zend_vm_def.h $(srcdir)/zend_vm_execute.skl $(srcdir)/zend_vm_gen.php + @if test ! -z "$(PHP)" && test -x "$(PHP)"; then \ + $(PHP) $(srcdir)/zend_vm_gen.php; \ + fi; |