From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 9ED30BB9A for ; Sun, 13 Nov 2005 12:09:15 +0100 (CET) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.173]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jADB9FC6029173 for ; Sun, 13 Nov 2005 12:09:15 +0100 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1EbFjS-000568-00; Sun, 13 Nov 2005 12:09:10 +0100 Received: from [84.58.132.117] (helo=gate.lan.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1EbFjS-0007nE-00; Sun, 13 Nov 2005 12:09:10 +0100 Received: from gate.lan.gerd-stolpmann.de (gate.lan.gerd-stolpmann.de [192.168.0.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id 1FBE7C066; Sun, 13 Nov 2005 12:09:10 +0100 (CET) Subject: Re: [Caml-list] Building a custom compiler environment From: Gerd Stolpmann To: Jonathan Roewen Cc: caml-list@yquem.inria.fr In-Reply-To: References: Content-Type: text/plain Date: Sun, 13 Nov 2005 12:09:09 +0100 Message-Id: <1131880149.31023.25.camel@gate.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.0.4 Content-Transfer-Encoding: 7bit X-Provags-ID: kundenserver.de abuse@kundenserver.de auth:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at concorde with ID 43771EDB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 compiler:01 gerd:01 stolpmann:01 ocaml:01 ocamlc:01 -output-obj:01 mli:01 ocaml:01 lib:01 stdlib:01 pervasives:01 defines:01 compiler:01 predef:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On Sun, 2005-11-13 at 17:05 +1300, Jonathan Roewen wrote: > Well, I upgraded tools to 3.09.0, so that's one problem out of the way > (though slightly annoying .. ah well). > > Here's my latest error :-) > > make[1]: Entering directory `/home/jonathan/dst/kernel' > ../ocaml/bin/ocamlc -output-obj -o bytekernel.o asm.mli keyboard.ml > VFS.ml PCI.ml busManager.ml bytekernel.ml > Error while linking /home/jonathan/dst/ocaml/lib/ocaml/stdlib.cma(Pervasives): > Reference to undefined global `End_of_file' > make[1]: *** [bytekernel.o] Error 2 > > Obviously, I've removed some code that defines this somewhere (hope I > don't have to make too many changes to my custom environment). Any > hints? No, End_of_file is a predefined exception. Actually, you must not define it, the compiler does it for you. Look into typing/predef.ml to see all the predefined types and values. (In byterun/fail.h there is a second, independent source of predefined exceptions.) Just a hypothesis: You do not have a reference to End_of_file at all, and it is expunged from the global table because of this. Later the compiler tries to add the code for the predefined exceptions, and cannot find End_of_file any longer. - This may be total nonsense, however. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Telefon: 06151/153855 Telefax: 06151/997714 ------------------------------------------------------------