Sebastian Bergmann wrote:
> Looks like the bison version check in configure is not working:

  Looks like it's no longer needed, too:

    [EMAIL PROTECTED]:/usr/src/php/php5/ > bison --version
    bison (GNU Bison) 1.875

    [EMAIL PROTECTED]:/usr/src/php/php5/ > php --version
    PHP 5.0.0b2-dev (cli) (built: Sep  9 2003 12:29:44) (DEBUG)

  The same setup segfaulted back in April during PHP's startup:

    http://sebastian-bergmann.de/blog/archives/40_bison_flex_and_php.html

  Odd.

-- 
Sebastian Bergmann
http://sebastian-bergmann.de/                   http://phpOpenTracker.de/

Das Buch zu PHP 5: http://professionelle-softwareentwicklung-mit-php5.de/

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to