gmp と mpfr をインストールした状態で gawk をインストールすると,それらが使えるというんだが,できないんだなあこれが。
だれか,教えて。
===
失礼。詳細を書かなかった。
Mac OS X El Capitan 10.11.2
gawk, gmp, mpfr は最新版をソースから make
gawk-4.1.3
gmp-6.1.0
mpfr-3.1.3
どれも,make check では問題は見つからないが,
$ gawk -M
gawk: warning: -M ignored: MPFR/GMP support not compiled in
となるのだね。
Debianだとjessieなら標準で使えるはずです。
gawk --version
を実行すると、リンクしているGMPとMPFRのバージョンが出ます。