From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 29A27BB81 for ; Tue, 14 Dec 2004 02:43:14 +0100 (CET) Received: from rproxy.gmail.com (rproxy.gmail.com [64.233.170.197]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iBE1hDIv020111 for ; Tue, 14 Dec 2004 02:43:13 +0100 Received: by rproxy.gmail.com with SMTP id y7so1714634rne for ; Mon, 13 Dec 2004 17:43:06 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:references; b=K9ooHqLExcyGqw2/qni310nbv5j+8yMGA+cEabbXyleC07FGBpEPWgl9y9InP5pUqd9KDWr/D9o20v/+lDoh3Wm49fgJsOmMeveqKfWl87DVJ/u7pKXadOttKf2bqP8x3aDl0V6aI2lTJxZjQBq74meJipqmqIam+SxqmbgU3p4= Received: by 10.38.97.8 with SMTP id u8mr1674583rnb; Mon, 13 Dec 2004 17:43:06 -0800 (PST) Received: by 10.38.209.61 with HTTP; Mon, 13 Dec 2004 17:43:06 -0800 (PST) Message-ID: Date: Tue, 14 Dec 2004 14:43:06 +1300 From: Jonathan Roewen Reply-To: Jonathan Roewen Subject: Re: [Caml-list] Using OCaml in a kernel Cc: caml-list@yquem.inria.fr In-Reply-To: <20041211.080036.25909489.garrigue@math.nagoya-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit References: <1102320552.663.45.camel@localhost> <20041211.080036.25909489.garrigue@math.nagoya-u.ac.jp> X-Miltered: at nez-perce with ID 41BE4531.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 ocamlopt:01 compiler:01 ocamlopt:01 pervasives:01 libasmrun:01 defining:01 kernel:01 undefined:01 undefined:01 defined:01 caml:02 caml:02 assembler:02 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.0 X-Spam-Level: > These symbols are defined at link time by the ocamlopt compiler. > You can get the assembler code defining them by using the -dstartup > option of ocamlopt while linking; it will show up in a > /tmp/camlstartup????.s file. > Note of course that some of these definitions are specific for each > program. Thanks for that =) We're getting so close ;-) Three new undefined symbols left: : undefined reference to `caml_compare' : undefined reference to `caml_greaterequal' : undefined reference to `caml_lessequal' these are from pervasives.o, string.o, and list.o in libasmrun.a. If can get some assembler niceties or whatever for those, then we should hopefully be set for next phase of linker hell ;-) Regards, Jonathan Roewen