From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA15383; Fri, 14 Dec 2001 12:51:40 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA15559 for caml-list@pauillac.inria.fr; Fri, 14 Dec 2001 12:51:40 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA12913 for ; Fri, 14 Dec 2001 09:25:49 +0100 (MET) Received: from julie.univ-savoie.fr (univax.univ-savoie.fr [193.48.120.32]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id fBE8Pnj19802 for ; Fri, 14 Dec 2001 09:25:49 +0100 (MET) Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by julie.univ-savoie.fr (8.9.3/jtpda-5.3.3) with ESMTP id JAA72049 for ; Fri, 14 Dec 2001 09:25:47 +0100 (CET) Received: from univ-savoie.fr (bppp2.univ-savoie.fr [193.48.120.21]) by post.bourget.univ-savoie.fr (8.12.0.Beta7/jtpda-5.3.3) with ESMTP id fBE8PhSJ014268 for ; Fri, 14 Dec 2001 09:25:43 +0100 Message-ID: <3C19BAB4.13372263@univ-savoie.fr> Date: Fri, 14 Dec 2001 09:39:16 +0100 From: Christophe Raffalli Organization: =?iso-8859-1?Q?Universit=E9?= de Savoie X-Mailer: Mozilla 4.78 [fr] (X11; U; Linux 2.4.8-26mdk i686) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: [Caml-list] Segv while compiling ocaml-3.04 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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