Aujourd’hui, j’ai eu besoin de compiler à nouveau PHP sur mon Mac pour activer l’extension filter.
J’avais en effet besoin de composer pour l’un de mes projets de domination du Monde, et ce dernier réclame absolument cette extension pour fonctionner.
Et d’habitude, la compilation de PHP se passe sans le moindre problème, puisque je me contente d’exécuter successivement dans un terminal les commande history -s `php -i | grep configure | cut -d\> -f2` et fc.
Je récupère en effet de cette façon la commande de configuration utilisée lors de ma dernière compilation de PHP dans mon éditeur favori, et je peux alors la modifier pour la faire correspondre à mes nouveaux besoins.
Une fois les modifications effectuées, je n’ai plus qu’à quitter mon éditeur et Bash se charge de l’exécuter automatiquement.
Une fois la phase de configuration terminée, je n’ai plus qu’à exécuter les commandes make -j3 et sudo make install pour disposer finalement d’une version de PHP correspondant à mes désirs.
