php-config
php-config est un petit script shell pour obtenir des informations sur la configuration installée de PHP.
Lors de la compilation des extensions, si vous avez plusieurs versions PHP d'installées, vous devez spécifier l'installation pour laquelle vous souhaitez les compiler en utilisant l'option --with-php-config lors de la configuration, spécifiant ainsi le chemin vers le script php-config.
La liste des options de ligne de commande fournies par le script php-config peut être obtenue en exécutant le script php-config avec l'option -h :
Usage: /usr/local/bin/php-config [OPTION] Options: --prefix [...] --includes [...] --ldflags [...] --libs [...] --extension-dir [...] --include-dir [...] --php-binary [...] --php-sapis [...] --configure-options [...] --version [...] --vernum [...]
| Option | Description |
|---|---|
| --prefix | Préfixe du dossier où PHP est installé, i.e. /usr/local |
| --includes | Liste des options -I avec tous les fichiers inclus |
| --ldflags | Drapeaux LD qui ont été compilés avec PHP |
| --libs | Bibliothèques additionnelles qui ont été compilées avec PHP |
| --extension-dir | Dossiers où les extensions sont recherchées par défaut |
| --include-dir | Préfixe du dossier où les en-têtes de fichiers sont installés par défaut |
| --php-binary | Chemin complet vers le CLI PHP ou le binaire CGI |
| --php-sapis | Affiche tous les modules SAPI disponibles |
| --configure-options | Options de configuration pour recréer la configuration de l'installation courante de PHP |
| --version | Version de PHP |
| --vernum | Version de PHP sous la forme d'un entier |
