diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-03-16 13:08:37 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-03-16 13:08:37 +0100 |
| commit | 9b816d83f6feb3c4d0aa75bf304aafc394f14daf (patch) | |
| tree | f091bb252a8d55643a3148f02e710bdd023d7864 /Zend | |
| parent | c386b1fb177ec0dccc840cbec801e69609ced5c3 (diff) | |
| download | php-git-9b816d83f6feb3c4d0aa75bf304aafc394f14daf.tar.gz | |
Automatically run zend_vm_gen.php if zend_vm_def.h changes
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; |