macos — Как мне настроить PHP 7 с расширением GMP при сборке из исходного кода (не доморощенного)?

Я только что установил PHP 7.2 с тарсала на моей системе Mac High Sierra. Когда я запустил шаг ./configure, я сделал это с помощью команды

./configure --with-gmp

Однако когда я проверяю версию PHP, я получаю предупреждение о том, что модуль «gmp.so» не установлен.

localhost:php-7.2.1 davea$ php -version
PHP Warning:  PHP Startup: Unable to load dynamic library 'gmp.so' (tried: /usr/local/lib/php/extensions/no-debug-non-zts-20170718/gmp.so (dlopen(/usr/local/lib/php/extensions/no-debug-non-zts-20170718/gmp.so, 9): image not found), /usr/local/lib/php/extensions/no-debug-non-zts-20170718/gmp.so.so (dlopen(/usr/local/lib/php/extensions/no-debug-non-zts-20170718/gmp.so.so, 9): image not found)) in Unknown on line 0

Warning: PHP Startup: Unable to load dynamic library 'gmp.so' (tried: /usr/local/lib/php/extensions/no-debug-non-zts-20170718/gmp.so (dlopen(/usr/local/lib/php/extensions/no-debug-non-zts-20170718/gmp.so, 9): image not found), /usr/local/lib/php/extensions/no-debug-non-zts-20170718/gmp.so.so (dlopen(/usr/local/lib/php/extensions/no-debug-non-zts-20170718/gmp.so.so, 9): image not found)) in Unknown on line 0
PHP Deprecated:  Directive 'track_errors' is deprecated in Unknown on line 0

Deprecated: Directive 'track_errors' is deprecated in Unknown on line 0
PHP 7.2.1 (cli) (built: Jan 30 2018 19:27:19) ( NTS )
Copyright (c) 1997-2017 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2017 Zend Technologies

Как включить расширение GMP для PHP 7.2 на Mac?