SML#をビルドし・・・ようとした。

以前使ってみようとしたときにlibgmpがないことがわかっていたので、先にmingw32-libgmpを入れてみた。
だが、思わぬところ（configure）で時間かかってしまった。
bash上で./configureをすると、-lgmpがどうのこうのといってくる。


またお前か！


で、いろいろ調べたらmingw32-gmpというパッケージがあり、それを入れたら通った。
その割に、configureの最後にエラーが出たのが気になるのだけれども・・・
まあ、とりあえずml.grm.smlのコンパイルで詰まったようだ。