Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Segv while compiling ocaml-3.04
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-12-14 (11:51)
From: Christophe Raffalli <Christophe.Raffalli@u...>
Subject: [Caml-list] Segv while compiling ocaml-3.04

I failed to compile ocaml-3.04 under Mandrake Linux 8.12 (proc ATHLON 1500+
(1.3GHz :-) chipset VIIAKT

First I shoud say that  ocaml-3.03-alpha compiles with no problem (same machine
same time) !

After ./configure, make world crashes for 3.04 in 

../boot/ocamlrun ../boot/ocamlc -g -nopervasives -c oo.mli
make[1]: *** [oo.cmi] Erreur de segmentation
make[1]: *** Deleting file `oo.cmi'
make[1]: Quitte le répertoire `/usr/local/src/ocaml-3.04/stdlib'
make: *** [coldstart] Erreur 2

But then If I compile the file myself it works:

[root@boris ocaml-3.04]# cd stdlib
[root@boris stdlib]# ../boot/ocamlrun ../boot/ocamlc -g -nopervasives -c oo.mli

And then the next crash is in 

boot/ocamlrun boot/ocamlc -I boot -I utils -I parsing -I typing -I bytecomp -I
asmcomp -I driver -I toplevel -c parsing/parsetree.mli
make: *** [parsing/parsetree.cmi] Erreur de segmentation
make: *** Deleting file `parsing/parsetree.cmi'

And so on, after a dozen of similar crashes, I manage to end the make world.
They are no crashes during make opt
But the problem starts again with make ocamlopt.opt

very strange !
Is it a problem with gnu make that was not there before ?

Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
Bug reports:  FAQ:
To unsubscribe, mail  Archives: