On Mon, May 15, 2017 at 9:51 AM, li...@rhsoft.net <li...@rhsoft.net> wrote: > Am 15.05.2017 um 16:43 schrieb Dmitry Stogov: >> >> php zend_vm_gen.php --with-vm-kind=HYBRID >> > shouldn't that be a ./configure option? > calls like "php zend_vm_gen.php" are not self contained in a rpmbuild > atm, no. The VM gen is (and has been since 5.0) a development time generator which is checked into GIT (because it requires PHP to be built to run, and must run before PHP is built). rpmbuilders (probably) never need worry about selecting alternate VMs, but if they do there must be a means to patch codebases before building (distros do this routinely), hooking into that should be a possibility.
That said, the only argument against adding it as a ./configure option is that it's a bootstrap step (as mentioned above). I suppose we could use the checked in version of the VM when the option isn't specified, and error if one tried to specify the option without having a PHP version already around. That's orthogonal to this thread, however. Dmitry; You've got my thumbs up. No need for an RFC for something purely internal like this. -Sara -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
