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 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            [...]

Options de ligne de commande

Option	Description
--prefix	Préfixe du dossier où PHP est installé, c.-à-d. /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