L'extension libxml est activé par défaut, et il peut être désactivé avec l'option --disable-libxml.
La directive optionnelle --with-libxml-dir
est utilisée pour spécifier le dossier où libxml
se trouve sur le système sur lequel PHP est compilé. À défaut de l'utilisation
de cette option, les dossiers par défaut seront analysés. Le processus
configure vérifie les dossiers où se trouve libxml
(spécifiquement, xml2-config), dans cet ordre :
Le dossier ([DIR]) spécifié avec l'option --with-libxml-dir ([DIR]=/bin/xml2-config)
/usr/local/bin/xml2-config
/usr/bin/xml2-config
Si le processus configure ne peut trouver le fichier
xml2-config dans le dossier spécifié par
l'option --with-libxml-dir, alors, il continuera
et analysera les dossiers par défaut.