Ubuntu 12.04 - php-config5 punta a 5.3 invece di 5.4

Ho un problema con l'installazione di un'estensione php (framework Phalcon) a causa dell'aggiornamento da php 5.3 a 5.4 qualche tempo fa.

Ho aggiornato usando il repository ondrej-php5-precise. Tutto funziona bene e se eseguo phpinfo ho capito che la versione è

da cli:

PHP 5.4.17-1~precise+1 (cli) (built: Jul 17 2013 18:14:06)

dal web:

PHP Version 5.4.17-1~precise+1

Ma se corro php-config5 --versionottengo 5.3.10-1ubuntu3.11

E ora quando provo a installare phalcon lo compila per php5.3 anziché php5.4.

Ho letto sui forum che ho bisogno di usare il phpize giusto per 5.4 quando lo costruisco. Ma ho due file phpize e phpize5 (lo stesso per php-config e php-config5) ed entrambi puntano alla versione php5.3

Stev

O non hai aggiornato il pacchetto php5-dev - prova a cercare un pacchetto: dpkg -S $ (quale php-config5) e aggiorna il pacchetto usando ppa per abbinarlo alla versione php.

L'altra causa più probabile è l'installazione locale dimenticata di php5.3 - cerca in / usr / local