From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 9BC427F249 for ; Fri, 2 Nov 2012 02:14:58 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of valentin.robert.42@gmail.com) identity=pra; client-ip=209.85.212.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="valentin.robert.42@gmail.com"; x-sender="valentin.robert.42@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of valentin.robert.42@gmail.com designates 209.85.212.54 as permitted sender) identity=mailfrom; client-ip=209.85.212.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="valentin.robert.42@gmail.com"; x-sender="valentin.robert.42@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vb0-f54.google.com) identity=helo; client-ip=209.85.212.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="valentin.robert.42@gmail.com"; x-sender="postmaster@mail-vb0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al4DAIwdk1DRVdQ2jWdsb2JhbABEhherC4kpAYheCCMBAQEBCQkLCRIGI4JIHQE5Aw0FCQEGNwIhAxIBBQGIKQMPC5tSgnKLY4NFhSgnDUyJAgEFDI8GghGBEwOIWoRUiEqBG41HFimBWIJZ X-IronPort-AV: E=Sophos;i="4.80,696,1344204000"; d="scan'208";a="179859461" Received: from mail-vb0-f54.google.com ([209.85.212.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Nov 2012 02:14:57 +0100 Received: by mail-vb0-f54.google.com with SMTP id l1so5893137vba.27 for ; Thu, 01 Nov 2012 18:14:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:x-google-sender-auth:message-id :subject:to:content-type; bh=IjiyvDWxWA1+t5No/B2U4soAQdfr2aTXcDr1w9FFK+I=; b=ADnPGXLmCKbDR7s5AvUGqM9MV1ar6++j/PmoStA3UEmyfwySgd2dnF3o31FGVgxYGT w7WiKsgZ9o2G+cvg9WHYovf4ef37HkD5mPoHCEkbP0YsEqLtsxiaS5JJEM3YKCSXoldV oMc0rSOCtrhLSLyOtcET8Xas7mJ0Lldi+9eWlyWfh0WziRIUc2dgjjD6Q+nJUjJOuRdh F8ZwtzT7g9l6a64w52lbyHu9Q3zT2JkZVftf/cQK9gpJk8Nu0MNeMbkbGEcNqRkfKOEP QZiWAIJ6nna3aC9G/aRquJkLr8myzH4gNa3f4hHj9lueOiL3DTIQcNYTpjMwL8nWDaMW Z18Q== Received: by 10.52.32.1 with SMTP id e1mr217402vdi.68.1351818896871; Thu, 01 Nov 2012 18:14:56 -0700 (PDT) MIME-Version: 1.0 Sender: valentin.robert.42@gmail.com Received: by 10.59.13.72 with HTTP; Thu, 1 Nov 2012 18:14:35 -0700 (PDT) From: Valentin ROBERT Date: Thu, 1 Nov 2012 18:14:35 -0700 X-Google-Sender-Auth: DMdVHAgxuE6Cug1Nxx2IQt5dJWk Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=bcaec51d25d426111c04cd78ddcd X-Validation-by: vrobert@cs.ucsd.edu Subject: [Caml-list] Ocamldebugging custom runtime executables --bcaec51d25d426111c04cd78ddcd Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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 =E2=80=9Ccustom runtime=E2=80=9D 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 --bcaec51d25d426111c04cd78ddcd Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Dear caml-list,

I have been annoyed by a feature I was n= ot 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 co= de of that library, resulting in a "custom runtime" for any progr= am linking to that library.

Now, I am under the impression that the ocaml 4.00 debu= gger 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:

"Rarely useful; moreover it prevents the debugging of progr= ams compiled in =E2=80=9Ccustom runtime=E2=80=9D mode."
=
I would therefore be interested in knowing whether ocaml 3.1= 2 debugger should have been able to debug such custom runtime, and if so, w= hy did I get this error?

- Valentin
--bcaec51d25d426111c04cd78ddcd--