From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 F3354BB91 for ; Sat, 11 Dec 2004 00:00:49 +0100 (CET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iBAN0jPf015222 for ; Sat, 11 Dec 2004 00:00:48 +0100 Received: from localhost (suiren [130.54.16.25]) by kurims.kurims.kyoto-u.ac.jp (8.13.1/8.13.1) with ESMTP id iBAN0YkX017398; Sat, 11 Dec 2004 08:00:35 +0900 (JST) Date: Sat, 11 Dec 2004 08:00:36 +0900 (JST) Message-Id: <20041211.080036.25909489.garrigue@math.nagoya-u.ac.jp> To: jonathan.roewen@gmail.com Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Using OCaml in a kernel From: Jacques Garrigue In-Reply-To: References: <1102320552.663.45.camel@localhost> X-Mailer: Mew version 4.1 on Emacs 21.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 41BA2A9D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 libasmrun:01 exn:01 struct:01 stack:01 frametable:01 globals:01 ocamlopt:01 compiler:01 ocamlopt:01 defining:01 functions:01 kernel:01 jacques:01 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=none autolearn=disabled version=3.0.0 X-Spam-Level: From: Jonathan Roewen > I've tried manually compiling libasmrun.a, but I'm getting some > strange unresolved symbols to caml functions/declarations. > > startup.o: > caml_data_segments > caml_code_segments > i386.o > caml_program > caml_apply2 > caml_apply3 > fail.o: > caml_exn_Failure (basically whole lot from the struct with these in it) > caml_bucket_Out_of_memory > caml_bucket_Stack_overflow > roots.o: > caml_frametable > caml_globals 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. Jacques Garrigue