Я запустил brew doctor
, что подсказало мне, что кег gmp
установлен, но не связан (на самом деле было установлено несколько версий gmp). Я побежал:
brew link gmp
, который добавил недостающие ссылки.
Я тогда побежал:
brew reinstall php --build-from-source
, который теперь смог найти библиотеку gmp.