Re: problem with ocamlmktop -output-obj

From: Xavier Leroy (
Date: Thu Oct 15 1998 - 19:22:43 MET DST

Date: Thu, 15 Oct 1998 19:22:43 +0200
From: Xavier Leroy <>
To: Thierry Bravier <>,
Subject: Re: problem with ocamlmktop -output-obj
In-Reply-To: <>; 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

Hope this helps,

- Xavier Leroy

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:16 MET