GODI安装错误

我正在运行Fedora 9 x86_64,或多或少是一个Linux新手(不使用它,但安装等)。该错误发生在引导程序的第二阶段(即“./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)。 所以任何人都知道问题是什么?我搜索了网,但我发现的唯一其他类似的东西是这里的另一个线程(但它有一个不同的错误) 任何帮助将不胜感激,因为上次我安装它,它完美无缺。     
已邀请:
这看起来像64位平台上的旧OCaml(< 3.11)的已知问题,可能由堆随机化触发,这在Fedora上启用。据我所知,在最近的版本中已经修复了(至少3.11,可能是3.10.2)。如果是这种情况,那么在3.11节之外运行的最新GODI应该有效。     

要回复问题请先登录注册