From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <valentin.robert.42@gmail.com>
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 AB2827F249
	for <caml-list@sympa.inria.fr>; Mon,  5 Nov 2012 00:10:35 +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: AoUBAOj0llDRVdQ2imdsb2JhbABEhheqf5IaCCMBAQEKCQ0HEgYjghUJAQEEASMdATgBAwELAQUFAwEHNwICHwMSAQUBHAYTh3gDCQabGYtig0aEEicNTIkCAQUMi3WFKYETA4hahFeISo5jFimBWIJa
X-IronPort-AV: E=Sophos;i="4.80,712,1344204000"; 
   d="scan'208";a="180095060"
Received: from mail-vb0-f54.google.com ([209.85.212.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Nov 2012 00:10:35 +0100
Received: by mail-vb0-f54.google.com with SMTP id l1so9576704vba.27
        for <caml-list@inria.fr>; Sun, 04 Nov 2012 15:10:33 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:from:date
         :x-google-sender-auth:message-id:subject:to:cc:content-type;
        bh=uWbXUIQGqAI10I7C1aBk14BvypUqwmp5mw22YIo9v1c=;
        b=BiQPB/xh1Sj7XeJQJaLYstSIwRSywFT5qcJaWFgVlYcYHWEUTgkd728i2gPo06edIO
         R3i7kYHi8HIUveOMAjyJ4sih77ghtqsxtn/T6Szcds6K/XbelsPoZ7wSFHaQk1/Bhk+/
         X6ZkqCa/WhPB8b+RfgxJT6Vz9exbmRe+xyonrr6ejPnN0/hF+jogKGoiN8u4G3TZx8UM
         zc/pFK/vN5zZVHe341Pg018bz+y9aQulHRy7ccPvalsW3Wh65cgl5tPL9j3FL6HfCnQb
         IgF7z1HaPJHAlLFqKzSrqPZTK0+urNzM1LNzihFxzuTJ8o+oA8LSPLsD5eqMeWN+4I1/
         HVRA==
Received: by 10.221.11.15 with SMTP id pc15mr7710973vcb.70.1352070633919; Sun,
 04 Nov 2012 15:10:33 -0800 (PST)
MIME-Version: 1.0
Sender: valentin.robert.42@gmail.com
Received: by 10.59.13.72 with HTTP; Sun, 4 Nov 2012 15:10:13 -0800 (PST)
In-Reply-To: <CA+qp_4ok4aSELjRqqoVgnUEaC0RAf=JshOQsAxMn6G=uEdyVQw@mail.gmail.com>
References: <CAC1A9D4+HJZg8RjWBY-byL7cZmfxu=FHWhRz=rN=DqgQ=aqi4w@mail.gmail.com>
 <CA+qp_4ok4aSELjRqqoVgnUEaC0RAf=JshOQsAxMn6G=uEdyVQw@mail.gmail.com>
From: Valentin ROBERT <vrobert@cs.ucsd.edu>
Date: Sun, 4 Nov 2012 15:10:13 -0800
X-Google-Sender-Auth: PrUECkX8-KL67LRiLlFuUUTaLqY
Message-ID: <CAC1A9D6Go8HZrdCuwajBe7JO563=urNLVHN_GyOAtchF0k6d4A@mail.gmail.com>
To: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
Cc: caml-list@inria.fr
Content-Type: multipart/alternative; boundary=bcaec54ee85ad8957904cdb37953
X-Validation-by: vrobert@cs.ucsd.edu
Subject: Re: [Caml-list] Ocamldebugging custom runtime executables


--bcaec54ee85ad8957904cdb37953
Content-Type: text/plain; charset=UTF-8

Dear Nicolas,

I believe this is what I did, as the two examples I mention were obtained
on two different (virtual) machines.
My apologies if I made things unclear.

- Valentin


On Sun, Nov 4, 2012 at 3:06 PM, Nicolas Braud-Santoni <
nicolas@braud-santoni.eu> wrote:

> Hello,
>
> Binaries compiled with OCaml 4 aren't compatible with binaries
> compiled with OCaml 3.
> As such, you should compile both program and library with the same
> (major) version of OCaml and use the appropriate debugger.
>
>
> Regards,
>
> Nicolas
>

--bcaec54ee85ad8957904cdb37953
Content-Type: text/html; charset=UTF-8

Dear Nicolas,<div><br></div><div>I believe this is what I did, as the two examples I mention were obtained on two different (virtual) machines.</div><div>My apologies if I made things unclear.</div><div><br></div><div>- Valentin</div>

<div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Nov 4, 2012 at 3:06 PM, Nicolas Braud-Santoni <span dir="ltr">&lt;<a href="mailto:nicolas@braud-santoni.eu" target="_blank">nicolas@braud-santoni.eu</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
<br>
Binaries compiled with OCaml 4 aren&#39;t compatible with binaries<br>
compiled with OCaml 3.<br>
As such, you should compile both program and library with the same<br>
(major) version of OCaml and use the appropriate debugger.<br>
<br>
<br>
Regards,<br>
<br>
Nicolas<br>
</blockquote></div><br></div>

--bcaec54ee85ad8957904cdb37953--