j'ai donc trouvé une solution qui a fonctionné pour moi.
Rendez-vous sur votre terminal et tapez
"sudo cp -r /usr/include/php /Applications/MAMP/bin/php/php5.x.x /inclure/"
Remplacez les caractères gras par la version de php que vous utilisez
puis lancez la commande make