Date: Thu, 15 Oct 1998 19:22:43 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Thierry Bravier <thierry.bravier@dassault-aviation.fr>, caml-list@inria.fr
Subject: Re: problem with ocamlmktop -output-obj
In-Reply-To: <3624D5BE.3060@dassault-aviation.fr>; from Thierry Bravier on Wed, Oct 14, 1998 at 06:47:58PM +0200
> 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
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:16 MET