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 plusieurs versions de PHP sont installées, l'installation pour laquelle il faut construire peut être spécifiée en utilisant l'option --with-php-config lors de la configuration, en définissant le chemin du script php-config correspondant.
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 |