2012年09月01日

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

以前使ってみようとしたときにlibgmpがないことがわかっていたので、先にmingw32-libgmpを入れてみた。

だが、思わぬところ(configure)で時間かかってしまった。

bash上で./configureをすると、-lgmpがどうのこうのといってくる。


またお前か!


で、いろいろ調べたらmingw32-gmpというパッケージがあり、それを入れたら通った。

その割に、configureの最後にエラーが出たのが気になるのだけれども・・・

まあ、とりあえずml.grm.smlのコンパイルで詰まったようだ。

posted by chiguri at 16:56| Comment(0) | TrackBack(0) | PC