Vérifiez le répertoire d'extension actuel avec :
php-config --extension-dir
et vous pouvez le changer en définissant extension_dir
en php.ini
:
extension_dir="/usr/lib64/php/modules"
N'oubliez pas de redémarrer Apache.
Je suggérerais de faire de /usr/lib64/php/modules un lien symbolique vers le dossier avec l'ID. Cela évite de mélanger des extensions de différentes versions de PHP à long terme.
En plus de cela :vous devriez pouvoir le définir en définissant EXTENSION_DIR
comme variable d'environnement avant d'exécuter la configuration de PHP. quelque chose comme
$ EXTENSION_DIR=/my/location ./configure --with-some-extension