GODI安装错误

Question

我正在运行Fedora9linux，并且或多或少是一个x86_64新手(不是使用它，而是安装之类的)。错误发生在引导的第二阶段(即"./ bootstrap _stage2")。它做了很多事情，然后这些错误开始发生：

Fatal error: exception Out_of_memory
make[8]: *** [odoc_html.cmo] Error 2
make[8]: Leaving directory `/home/matthew/godi/build/godi/godi-ocaml/work/ocaml/ocamldoc'
make[7]: *** [ocamldoc] Error 2
make[7]: Leaving directory `/home/matthew/godi/build/godi/godi-ocaml/work/ocaml'
Error: Exec error: File /home/matthew/godi/build/godi/godi-ocaml/./../../mk/bsd.pkg.mk, line 1039: Command returned with non-zero exit code
Error: Exec error: File /home/matthew/godi/build/godi/godi-ocaml/./../../mk/bsd.pkg.mk, line 1378: Command returned with non-zero exit code
Error: Command fails with code 1: godi_console
Failure!

我已经运行了它来监控我的内存，可以说我肯定没有用完(使用大约500，我得到了3)。有人知道问题出在哪里吗？我已经在网上搜索过了，但我找到的唯一一个类似的东西是这里的另一个线程(但它有一个不同的错误)

任何帮助都将不胜感激，因为我上次安装它时，它工作得无懈可击。

Answer 1

这看起来像64位平台上具有旧OCaml (<3.11)的known problem，可能是由堆随机化触发的，这在Fedora上是启用的。据我所知，在最近的版本(至少是3.11，可能是3.10.2)中已经修复了这个问题。在这种情况下，运行3.11节的最新GODI应该可以工作。