Browse thread
[Caml-list] Segv while compiling ocaml-3.04
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| 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 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr