anyenvでインストールしたPHPにgmpが入らない

Question

環境

• MacOS Catalina 10.15.7

やりたいこと

anyenvを用いて、phpenvをインストールし、
phpenvでPHP 8.0.7をインストールし、
gmpのExtensionをインストールしたい。

やったこと

以下の手順で、phpをインストールしました。

$ anyenv install phpenv  # 既に phpenv をインストール済みの場合は不要
$ brew install autoconf bzip2 icu4c krb5 libedit libiconv libjpeg libpng libxml2 libzip oniguruma openssl@1.1 pkg-config tidy-html5
$ PKG_CONFIG_PATH="/usr/local/opt/krb5/lib/pkgconfig:/usr/local/opt/icu4c/lib/pkgconfig:/usr/local/opt/libedit/lib/pkgconfig:/usr/local/opt/libjpeg/lib/pkgconfig:/usr/local/opt/libpng/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/opt/libzip/lib/pkgconfig:/usr/local/opt/oniguruma/lib/pkgconfig:/usr/local/opt/openssl@1.1/lib/pkgconfig:/usr/local/opt/tidy-html5/lib/pkgconfig" PHP_BUILD_CONFIGURE_OPTS="--with-bz2=/usr/local/opt/bzip2 --with-iconv=/usr/local/opt/libiconv" phpenv install 8.0.7

参考元：https://qiita.com/hamakou108/items/4744818dd166191c3e6b

しかし、いざPHPのコードを実行してみると「gmp」というExtensionがないというエラーが表示されたため、
一度

phpenv uninstall 8.0.7

を行い、以下のように/usr/local/opt/gmpをPKG_CONFIG_PATHに追加してインストールを実行しました。

PKG_CONFIG_PATH="/usr/local/opt/krb5/lib/pkgconfig:/usr/local/opt/icu4c/lib/pkgconfig:/usr/local/opt/libedit/lib/pkgconfig:/usr/local/opt/libjpeg/lib/pkgconfig:/usr/local/opt/libpng/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/opt/libzip/lib/pkgconfig:/usr/local/opt/oniguruma/lib/pkgconfig:/usr/local/opt/openssl@1.1/lib/pkgconfig:/usr/local/opt/tidy-html5/lib/pkgconfig:/usr/local/opt/gmp" PHP_BUILD_CONFIGURE_OPTS="--with-bz2=/usr/local/opt/bzip2 --with-iconv=/usr/local/opt/libiconv" phpenv install 8.0.7

その後、php.iniのextension=gmpのコメントアウトを外し、php -vを実行したとこと、
再インストール前と同じエラーが表示されます。

PHP Warning:  PHP Startup: Unable to load dynamic library 'gmp' 

これはなぜでしょうか？
あまりUnix（MacOS）を得意としないため、このあたりの解決方法がわかりません。

ご存じの方がいらっしゃいましたら、ご教示いただけますと幸いです。
よろしくお願いいたします。