Pour inclure statiquement des extensions dans PHP, placez les sources de l'extensions dans le dossier ext/, disponible dans la distribution PHP. Par exemple :
$ cd /your/phpsrcdir/ext $ pear download extname $ gzip -d < extname.tgz | tar -xvf - $ mv extname-x.x.x extname $ rm package.xml |
Cela générera le dossier suivant :
/your/phpsrcdir/ext/extname |
A partir de la, suivez le processus classique de compilation de PHP :
$ cd /your/phpsrcdir $ ./buildconf $ ./configure --help $ ./configure --with-extname --enable-someotherext --with-foobar $ make $ make install |
L'utilisation de --enable-extname ou --with-extname dépend de l'extension. Généralement, une extension qui ne dépend pas d'une bibliothèque externe utilise --enable. Pour être certains, utilisez la commande suivante après avoir utilisé buildconf :
$ ./configure --help | grep extname |
| Précédent | Sommaire | Suivant |
| Compilation des extensions partagées avec phpize | Niveau supérieur | Des problèmes? |