Hello, I just wanted to ask if we really want to bail out in configure if the installed flex is not 2.5.4.
This stops everyone with f.e. Debian Sarge to install PHP 5.2 (if he has installed flex on his system). The normal user will never need flex for PHP's configure but it could be that he needs flex for other software. With PHP 5.2 this has become an either or. Greetings Stefan -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
