From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA29600 for caml-redistribution; Fri, 16 Oct 1998 13:32:05 +0200 (MET DST) 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 TAA13584 for ; Thu, 15 Oct 1998 19:22:51 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id TAA25374; Thu, 15 Oct 1998 19:22:43 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA10687; Thu, 15 Oct 1998 19:22:43 +0200 (MET DST) Message-ID: <19981015192243.14795@pauillac.inria.fr> Date: Thu, 15 Oct 1998 19:22:43 +0200 From: Xavier Leroy To: Thierry Bravier , caml-list@inria.fr Cc: ac-ca@imaginet.fr, basile.starynkevitch@cea.fr, Emmanuel.Dorlet@cea.fr Subject: Re: problem with ocamlmktop -output-obj References: <3624D5BE.3060@dassault-aviation.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.89.1 In-Reply-To: <3624D5BE.3060@dassault-aviation.fr>; from Thierry Bravier on Wed, Oct 14, 1998 at 06:47:58PM +0200 Sender: weis > I have encountered a problem while trying to build a toplevel > (ocamlmktop) linked with > - external C code and > - ML code compiled as a C object (-output-obj and implicitely -custom). > I have no problem when I build an ordinary batch (non-toplevel) program. > Is this a limitation of the system or I am doing it wrong ? Toplevels need access to their own symbol table, and they look inside their executable file to find it. The symbol table information is not available if -output-obj is selected. A regular bytecode executable file is composed of several sections: code, data, symbols, and debug info. Currently, only the first two are available when a C object is generated instead of a regular executable file. For the same reasons, you can't debug a Caml program built with -output-obj. Hope this helps, - Xavier Leroy