试图在Linux上安装OCaml 3.12.1与Godi

Question

我试图在64位Linux（本质上是Ubuntu 11.04的Mint Linux）上安装OCaml 3.12.1。我正在使用最新的rocketboost（godi-rocketboost-20110717）。我运行./bootstrap并在一段时间后得到以下（在bootstrap.log中）：

4287 ### Building godi-pcre

4288 ===> Cleaning for godi-pcre-6.2.2godi1

4289 => Checksum mismatch for pcre-ocaml-6.2.2.tar.gz.

4290 Make sure the Makefile and checksum file (/home/phil/godi-3.12.1/build/godi/ godi-pcre/distinfo)

4291 are up to date. If you want to override this check, type

4292 "godi_make NO_CHECKSUM=yes [other args]".

4293 Error: Exec error: File /home/phil/godi-3.12.1/build/godi/godi-pcre/./../../ mk/bsd.pkg.mk, line 1689: Command returned with non-zero exit code

4294 Error: Command fails with code 1: godi_console

这是pcre的包问题吗？

而我将如何使用建议“godi_make NO_CHECKSUM = yes [其他参数]”来解决这个问题？

Answer 1

这已由pcre-ocaml库的维护者修复。它应该现在工作正常。