» PIE est une application d'installation pour PHP, qui permet d'installer des extensions tierces pour PHP, qui peuvent ensuite être facilement installées et mises à jour. Elle exploite la partie du référentiel d'extensions PHP de » Packagist pour trouver le code source à compiler pour l'extension, ou un binaire Windows à télécharger, s'il existe. Si elle télécharge le code source, elle sait aussi comment le compiler et l'installer.
Après » l'installation des prérequis et de PIE lui-même, vous pouvez ensuite installer l'extension MongoDB en exécutant la commande suivante.
Exemple #1 Installer l'extension MongoDB avec PIE
pie install mongodb/mongodb-extension
La » documentation "PIE Installation" explique cela avec plus de détails.