Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Valentin ROBERT <vrobert@cs.ucsd.edu>
To: caml-list@inria.fr
Subject: [Caml-list] Ocamldebugging custom runtime executables
Date: Thu, 1 Nov 2012 18:14:35 -0700	[thread overview]
Message-ID: <CAC1A9D4+HJZg8RjWBY-byL7cZmfxu=FHWhRz=rN=DqgQ=aqi4w@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 1020 bytes --]

Dear caml-list,

I have been annoyed by a feature I was not quite familiar with, as I had
compiled a library with the -custom option and was oblivious to the fact
that the option would be passed to client code of that library, resulting
in a "custom runtime" for any program linking to that library.

Now, I am under the impression that the ocaml 4.00 debugger can load such
custom runtime executables, while my ocaml 3.12 debugger does not like
them: "... is not a bytecode file.".

I did not find this mentioned in the 4.00 changelog though. And looking at
the manual for 3.12 makes it look as if it should have been able to load
such files:

http://caml.inria.fr/pub/distrib/ocaml-3.12/ocaml-3.12-refman.html#htoc199
"Rarely useful; moreover it prevents the debugging of programs compiled in
“custom runtime” mode."

I would therefore be interested in knowing whether ocaml 3.12 debugger
should have been able to debug such custom runtime, and if so, why did I
get this error?

- Valentin

[-- Attachment #2: Type: text/html, Size: 1294 bytes --]

             reply	other threads:[~2012-11-02  1:14 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-11-02  1:14 Valentin ROBERT [this message]
2012-11-04 23:06 ` Nicolas Braud-Santoni
2012-11-04 23:10   ` Valentin ROBERT

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAC1A9D4+HJZg8RjWBY-byL7cZmfxu=FHWhRz=rN=DqgQ=aqi4w@mail.gmail.com' \
    --to=vrobert@cs.ucsd.edu \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox