From:             seved dot torstendahl at netinsight dot se
Operating system: Linux
PHP version:      5.0.0RC3
PHP Bug Type:     Compile Failure
Bug description:  bad line in skeleton file (flex-2.5.31)

Description:
------------
After unpacking the php-5.0.0RC3 sources,
'make all' returned the following error:

flex -Pini_ -S/home/seved/development/php/php-5.0.0RC3/Zend/flex.skl
-oZend/zend_ini_scann
er.c -i /home/seved/development/php/php-5.0.0RC3/Zend/zend_ini_scanner.l
flex: fatal internal error, bad line in skeleton file
make: *** [Zend/zend_ini_scanner.c] Error 1
--------------

tintin3:~/development/php/b5> flex --version
flex 2.5.31

Using flex version 2.5.4 on another system with the same command succeed,
and then 'make all' finished OK.



-- 
Edit bug report at http://bugs.php.net/?id=28823&edit=1
-- 
Try a CVS snapshot (php4):  http://bugs.php.net/fix.php?id=28823&r=trysnapshot4
Try a CVS snapshot (php5):  http://bugs.php.net/fix.php?id=28823&r=trysnapshot5
Fixed in CVS:               http://bugs.php.net/fix.php?id=28823&r=fixedcvs
Fixed in release:           http://bugs.php.net/fix.php?id=28823&r=alreadyfixed
Need backtrace:             http://bugs.php.net/fix.php?id=28823&r=needtrace
Need Reproduce Script:      http://bugs.php.net/fix.php?id=28823&r=needscript
Try newer version:          http://bugs.php.net/fix.php?id=28823&r=oldversion
Not developer issue:        http://bugs.php.net/fix.php?id=28823&r=support
Expected behavior:          http://bugs.php.net/fix.php?id=28823&r=notwrong
Not enough info:            http://bugs.php.net/fix.php?id=28823&r=notenoughinfo
Submitted twice:            http://bugs.php.net/fix.php?id=28823&r=submittedtwice
register_globals:           http://bugs.php.net/fix.php?id=28823&r=globals
PHP 3 support discontinued: http://bugs.php.net/fix.php?id=28823&r=php3
Daylight Savings:           http://bugs.php.net/fix.php?id=28823&r=dst
IIS Stability:              http://bugs.php.net/fix.php?id=28823&r=isapi
Install GNU Sed:            http://bugs.php.net/fix.php?id=28823&r=gnused
Floating point limitations: http://bugs.php.net/fix.php?id=28823&r=float

Reply via email to