試圖在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庫的維護者修復。它應該現在工作正常。