Controlla la directory dell'estensione corrente con:
php-config --extension-dir
e puoi cambiarlo impostando extension_dir
in php.ini
:
extension_dir="/usr/lib64/php/modules"
Non dimenticare di riavviare Apache.
Suggerirei di creare /usr/lib64/php/modules un collegamento simbolico alla cartella con l'ID. Ciò impedisce a lungo termine di mescolare estensioni di diverse versioni di PHP.
Oltre a ciò:dovresti essere in grado di impostarlo impostando EXTENSION_DIR
come variabile di ambiente prima di eseguire la configurazione di PHP. qualcosa come
$ EXTENSION_DIR=/my/location ./configure --with-some-extension