Ошибка установки GODI

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

Это похоже на известную проблему со старым OCaml (<3.11) на 64-битных платформах, вероятно, вызванную рандомизацией кучи, которая включена в Fedora. Насколько я знаю, это было исправлено в последних выпусках (по крайней мере, 3.11, возможно, 3.10.2). В этом случае должен работать обновленный GODI из раздела 3.11.