用Godi在Linux上安装OCaml 3.12.1

Question

我试图在64位Linux (Mint，本质上是Ubuntu11.04)上安装OCaml 3.12.1。我用的是最新的火箭助推器(戈迪-火箭助推-20110717)。我运行./引导，一段时间后得到以下内容(在bootstrap.log中)：

4287 ###大楼godi-pcre

4288 ===>清洗戈迪-pcre-6.2.2godi1

4289 =>校验和不匹配的pcre-ocaml-6.2.2.tar.gz.

4290确保Makefile和checksum文件(/home/phil/godi-3.12.1/build/godi/ godi-pcre/distinfo)

4291个是最新的。如果要覆盖此检查，请键入

4292 "godi_make NO_CHECKSUM=yes other args“。

4293错误: Exec错误:文件/home/phil/godi-3.12.1/build/godi/godi-pcre/./../../ mk/bsd.pkg.mk，第1689行:非零退出代码返回的命令

4294错误:命令失败，代码1: godi_console

这是pcre的包问题吗？

我将如何使用建议的"godi_make NO_CHECKSUM=yes其他args“来修复这个问题？

Answer 1

这已由pcre-ocaml库的维护人员修复。现在应该可以用了。