Automatically run zend_vm_gen.php if zend_vm_def.h changes

Author: nikic

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;