LibGMP не найден при установке CVC4 на FreeBSD

Я пытаюсь скомпилировать CVC4 из исходного кода на FreeBSD, но у меня возникают проблемы с время настройки - GMP не может быть найден, хотя общий объект явно находится на общем пути:

$> ls /usr/local/lib | grep gmp
libgmp.a
libgmp.la
libgmp.so
libgmp.so.10
libgmp.so.10.1.3
libgmpxx.a
libgmpxx.la
libgmpxx.so
libgmpxx.so.4
libgmpxx.so.4.3.3

$> echo $PATH
/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin: \
/usr/local/bin:/root/bin:/usr/local/lib

... и вот вывод ./configure:

...
checking how to hardcode library paths into programs... immediate
checking for __gmpz_init in -lgmp... no
configure: error: GNU MP (libgmp) not found, see http://gmplib.org/

После этого я немного погуглил и нашел статью, описывающую ошибку ABI, которая, как я думал, может быть связана . Затем я скомпилировал GMP из исходного кода, но все еще не нашел его в сценарии конфигурации.