You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
ia64--linux|alpha*--linux)
echo "Will use mmap() instead of malloc() for allocation of major heap chunks."
echo "#define USE_MMAP_INSTEAD_OF_MALLOC" >> s.h;;
esac
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
The text was updated successfully, but these errors were encountered: