Original bug ID: 1526
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Marco Maggesi
Version: 3.06
OS: debian linux on alpha
Submission from: sisiphos.math.unifi.it (150.217.33.46)

I start the compilation of ocaml as follows

~$ ./configure
~$ make -k world > log.world 2>&1

and the compilation abort here:
...
sh ./runocamldoc true -man -d stdlib_man -I ../parsing -I ../utils -I
../typing
-I ../driver -I ../bytecomp -I ../tools -I ../toplevel/ -I ../stdlib -I
../other
libs/str -I ../otherlibs/dynlink -I ../otherlibs/unix -I ../otherlibs/num -I
../
otherlibs/graph
-t "OCaml library" -man-mini
../stdlib/*.mli ../otherlibs/unix/unix.mli ../otherlibs/str/str.mli
../otherlibs
/bigarray/bigarray.mli ../otherlibs/num/num.mli
Fatal error: out of memory.
make[1]: *** [stdlib_man/Pervasives.o] Error 2
make[1]: Target all' not remade because of errors. make[1]: Leaving directory /home/maggesi/ocaml-3.06/ocamldoc'

The previous versions of ocaml (e.g. 3.04) compiled without problems
on the very same box (a Compaq DS 10).

I went futher and I installed anyway the ocaml bytecode compiler.
But then I tryied to compile Coq and the compilation ended with another
end of memory.

The system itself seems have no problem of memory:

~$ uname -a
Linux sisiphos 2.4.18marco #1 Fri Aug 23 12:37:19 CEST 2002 alpha unknown
~$ set -a
~$ free
total used free shared buffers cached
Mem: 381584 369200 12384 0 10096 267016
-/+ buffers/cache: 92088 289496
Swap: 384048 0 384048