I have a problem installing a php extension (Phalcon framework) due to having upgraded from php 5.3 to 5.4 some time ago.
I upgraded using ondrej-php5-precise repository. Everything is working ok and if I run phpinfo I get that the version is
PHP 5.4.17-1~precise+1 (cli) (built: Jul 17 2013 18:14:06)
PHP Version 5.4.17-1~precise+1
But if I run
php-config5 --version I get
And now when I try to install phalcon it compiles it for php5.3 instead of php5.4.
I've read on the forums that I need to use the right phpize for 5.4 when building it. But I have two files phpize and phpize5 (same for php-config and php-config5) and both point to php5.3 version