quindi ho trovato una soluzione che ha funzionato per me.
Vai al tuo terminale e digita
"sudo cp -r /usr/include/php /Applicazioni/MAMP/bin/php/php5.x.x /includi/"
Sostituisci i caratteri in grassetto con la versione di php che stai utilizzando
quindi esegui il comando make