2012-09-01から1日間の記事一覧
以前使ってみようとしたときにlibgmpがないことがわかっていたので、先にmingw32-libgmpを入れてみた。 だが、思わぬところ(configure)で時間かかってしまった。 bash上で./configureをすると、-lgmpがどうのこうのといってくる。 またお前か! で、いろい…
以前使ってみようとしたときにlibgmpがないことがわかっていたので、先にmingw32-libgmpを入れてみた。 だが、思わぬところ(configure)で時間かかってしまった。 bash上で./configureをすると、-lgmpがどうのこうのといってくる。 またお前か! で、いろい…