[PHP-DEV] PHP 4.0 Bug #9725 Updated: Zend Optimizer 1.0 From: stas <email protected>
Date: 03/15/01

ID: 9725
Updated by: stas
Reported By: dario <email protected>
Old-Status: Open
Status: Bogus
Bug Type: Unknown/Other Function
Assigned To:
Comments:

Please report Zend Optimizer problems to optimizer <email protected>
You most probably will not be able to use Zend Optimizer
with -dev versions.

Previous Comments:
---------------------------------------------------------------------------

[2001-03-13 09:56:46] dario <email protected>
I'm having a problem running Zend Optimzer 1.0.0 with PHP 4.0.5-dev.

Error when running a PHP script through the command line:
Failed loading /usr/local/lib/php/ZendOptimizer.so: /usr/local/lib/php/ZendOptimizer.so: undefined symbol: zend_get_ini_entry

php.ini:
zend_optimizer.optimization_level=15
zend_extension="/usr/local/lib/php/ZendOptimizer.so"

I had it working with version 4.0.4pl1, though.

Dario Gomes

---------------------------------------------------------------------------

ATTENTION! Do NOT reply to this email!
To reply, use the web interface found at http://bugs.php.net/?id=9725&edit=2 

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>