Question

我正在运行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）。所以任何人都知道问题是什么？我搜索了网，但我发现的唯一其他类似的东西是这里的另一个线程（但它有不同的错误）

任何帮助都会非常感激，因为上次安装它时，它完美无缺。

Answer 1

这看起来像known problem在64位平台上具有旧的OCaml（＆lt; 3.11），可能由堆随机化触发，在Fedora上启用。据我所知，在最近的版本中已经修复了（至少3.11，可能是3.10.2）。如果是这种情况，那么在3.11节之外运行的最新GODI应该有效。

GODI安装错误

1 个答案: