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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 37CB17EF5E for ; Wed, 13 Jul 2016 15:45:56 +0200 (CEST) IronPort-PHdr: 9a23:KHz8kB3OZapLXqyHsmDT+DRfVm0co7zxezQtwd8ZsekUIvad9pjvdHbS+e9qxAeQG96Ks7QY06GL7OjJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNKKxJnon8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT41NdZ/i9Ro/Ms8dJbGeW/JvxgDO8QMDNzHG0v6IXQqR7HVQ6G4H1UBmQQnB1gDAXf4FThQpD1qi7zsOw71CTMeYXUQKo5XDWvp4tqTR7uj29TNTI49WDRjeRyhaRWuw67qhFjhYXTZdfGGuB5e/bzdNkARGFMFuJcHwJMGZi1aZdHW8QIN/xZpIS7g1Y5oxalHgCqGMvuzCVJjzn4x/tpgKwaDQja0Vl4TJo1u3POoYCwbf9KXA== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Fabrice.Le_fessant@inria.fr; spf=Pass smtp.mailfrom=fabrissimo@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f46.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Fabrice.Le_fessant@inria.fr) identity=pra; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="Fabrice.Le_fessant@inria.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fabrissimo@gmail.com designates 74.125.82.46 as permitted sender) identity=mailfrom; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f46.google.com) identity=helo; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-wm0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C1AQB1RYZXhi5SfUpbhAcNfIJ+gkyiEoR1hCmCaoUEgh6EGYMKORMBAQEBAQEBAREBAQEICwsJIS+CMgQBEgGCEgEBBAEMBhEyJAULCQILAwoqAgIhARIBBQEcBgESCAEZh3QDDwgOlDKPQoExPjGLO4pVDYQeAQEIAQEBASMQimeCQ4FngxiCWgWIHJBMNIYRhjADghOCOYx2iB8JhjAwgQ8gA4QiPDIBiTYBAQE X-IPAS-Result: A0C1AQB1RYZXhi5SfUpbhAcNfIJ+gkyiEoR1hCmCaoUEgh6EGYMKORMBAQEBAQEBAREBAQEICwsJIS+CMgQBEgGCEgEBBAEMBhEyJAULCQILAwoqAgIhARIBBQEcBgESCAEZh3QDDwgOlDKPQoExPjGLO4pVDYQeAQEIAQEBASMQimeCQ4FngxiCWgWIHJBMNIYRhjADghOCOYx2iB8JhjAwgQ8gA4QiPDIBiTYBAQE X-IronPort-AV: E=Sophos;i="5.28,357,1464645600"; d="scan'208,217";a="184756479" Received: from mail-wm0-f46.google.com ([74.125.82.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Jul 2016 15:45:54 +0200 Received: by mail-wm0-f46.google.com with SMTP id f65so29675353wmi.0 for ; Wed, 13 Jul 2016 06:45:54 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=6iG+88kweEk1Gc+kim44zoCqikfKwTVWwDAJxlaQL68=; b=ejavaFT9ve7e8pqePJ1LqzWG9tCC9Ab0ox3XhuNEIojXAVirgbKjNiDewTKINU5704 ZO6jrZQhxUunXhaMQxboSAM+K130yT2jck92vhB9ipCLCFj7rfOsrs+WsWVoUsXLQxNF Q0EtfzfK1Kb1CxLZoOleNWy5qGvRWqwcx7ofyO4YmbyOySiEWHuDtBAdMzf2d86eTyfF YqeJWIF8pjyuD9FoKDDarn8QG/BGawMVKsDn+O75rvhwPAvFTTPgiDRvNBZzERHjrjj9 Je0jydIyQxjcknr3t06dmmn5Ca48RsjBGVwb49VY0WFyhcrb3KZCc+kLuBo/IK49iNwZ hHDg== X-Gm-Message-State: ALyK8tI7L8CBhr4gAORAksADV2Ysd8QGjsf4J0RUiAzS44dF7prx99D59xf8XUCkleKU0tKQA0j2FnepReoNKw== X-Received: by 10.194.200.194 with SMTP id ju2mr1032374wjc.45.1468417554599; Wed, 13 Jul 2016 06:45:54 -0700 (PDT) MIME-Version: 1.0 References: <1468359569.25014.103.camel@e130.lan.sumadev.de> <1468412557.25014.111.camel@e130.lan.sumadev.de> In-Reply-To: <1468412557.25014.111.camel@e130.lan.sumadev.de> From: Fabrice Le Fessant Date: Wed, 13 Jul 2016 13:45:44 +0000 Message-ID: To: Gerd Stolpmann , Jeremie Dimino Cc: Gabriel Scherer , caml-list , Thomas Refis Content-Type: multipart/alternative; boundary=047d7b62499cb958120537849a04 Subject: Re: [Caml-list] ocamlnat --047d7b62499cb958120537849a04 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable See also https://github.com/ocaml/ocaml/pull/648/files#diff-3c407d7b5a833ffbd112b654= e2c59fa0L116 for a patch on opttopdirs.ml On Wed, Jul 13, 2016 at 2:23 PM Gerd Stolpmann wrote: > Thanks for the info. I'll also copy that code to my separate repository, > so that everybody can easily start experimenting with it. I keep you > posted on what we find. > > Gerd > > Am Mittwoch, den 13.07.2016, 10:50 +0100 schrieb Jeremie Dimino: > > ocamlnat indeed builds with 4.03 but is not built by default > > > > On Tue, Jul 12, 2016 at 11:28 PM, Gabriel Scherer > > wrote: > > Thomas R=C3=A9fis and J=C3=A9r=C3=A9mie Dimino have been workin= g on ocamlnat > > in trunk recently, and ocamlnat builds on either the "trunk" > > branch or, I believe, the 4.03 release. You should talk to > > them. > > > > > > Let me take this an opportunity to advertise the "runtop" > > target in the compiler distribution's Makefile, which runs a > > toplevel from an (uninstalled) build of the compiler > > distribution: > > > > > > make runtop > > > > make natruntop > > > > > > I added them during the 4.03+dev release cycle, but didn't > > mention it in the Changelog (they're not user-facing features) > > so most people keep doing weird incantations of > > (./byterun/ocamlrun ./ocaml -I nostdlib ...) instead. > > > > > > On Tue, Jul 12, 2016 at 5:39 PM, Gerd Stolpmann > > wrote: > > Hi, > > > > I've tried to reactivate the ocamlnat tool that comes > > with OCaml but > > isn't built (and even isn't buildable). This repo was > > tested against > > 4.02.3: > > > > https://gitlab.camlcity.org/gerd/ocamlnat > > > > Since recently I'm quite interested in this, and would > > like to make it > > fully working, including ocamlfind support. For my use > > case the > > disadvantages of the ocamlnat approach (i.e. that it > > requires toolchain > > support for dynlinking, and that the executable > > continuously grows) do > > not matter - I really want it for interactive work, > > and not for > > scripting. > > > > Gerd > > -- > > > ------------------------------------------------------------ > > Gerd Stolpmann, Darmstadt, Germany > > gerd@gerd-stolpmann.de > > My OCaml site: http://www.camlcity.org > > Contact details: > > http://www.camlcity.org/contact.html > > Company homepage: http://www.gerd-stolpmann.de > > > ------------------------------------------------------------ > > > > > > > > > > > > > > > > -- > > Jeremie > > -- > ------------------------------------------------------------ > Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de > My OCaml site: http://www.camlcity.org > Contact details: http://www.camlcity.org/contact.html > Company homepage: http://www.gerd-stolpmann.de > ------------------------------------------------------------ > > --047d7b62499cb958120537849a04 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Thanks for the info. I'll also copy that code to = my separate repository,
so that everybody can easily start experimenting with it. I keep you
posted on what we find.

Gerd

Am Mittwoch, den 13.07.2016, 10:50 +0100 schrieb Jeremie Dimino:
> ocamlnat indeed builds with 4.03 but is not built by default
>
> On Tue, Jul 12, 2016 at 11:28 PM, Gabriel Scherer
> <gab= riel.scherer@gmail.com> wrote:
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Thomas R=C3=A9fis and J=C3=A9r=C3=A9m= ie Dimino have been working on ocamlnat
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0in trunk recently, and ocamlnat build= s on either the "trunk"
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0branch or, I believe, the 4.03 releas= e. You should talk to
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0them.
>
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Let me take this an opportunity to ad= vertise the "runtop"
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0target in the compiler distribution&#= 39;s Makefile, which runs a
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0toplevel from an (uninstalled) build = of the compiler
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0distribution:
>
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0make runtop
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0make natruntop
>
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0I added them during the 4.03+dev rele= ase cycle, but didn't
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0mention it in the Changelog (they'= ;re not user-facing features)
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0so most people keep doing weird incan= tations of
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(./byterun/ocamlrun ./ocaml -I nostdl= ib ...) instead.
>
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0On Tue, Jul 12, 2016 at 5:39 PM, Gerd= Stolpmann
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0<info@gerd-stolpmann.de> wrote:
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Hi,
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0I've = tried to reactivate the ocamlnat tool that comes
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0with OCam= l but
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0isn't= built (and even isn't buildable). This repo was
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0tested ag= ainst
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A04.02.3: >
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0https://gitlab.camlcity.org/gerd/ocamlnat
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Since rec= ently I'm quite interested in this, and would
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0like to m= ake it
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0fully wor= king, including ocamlfind support. For my use
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0case the<= br> >=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0disadvant= ages of the ocamlnat approach (i.e. that it
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0requires = toolchain
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0support f= or dynlinking, and that the executable
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0continuou= sly grows) do
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0not matte= r - I really want it for interactive work,
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0and not f= or
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0scripting= .
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Gerd
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0--
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0---------= ---------------------------------------------------
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Gerd Stol= pmann, Darmstadt, Germany
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0gerd@gerd-stolpmann.de=
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0My OCaml = site:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 http://www.camlcity.org
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Contact d= etails:
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0http://www.camlcity.org/contact.html
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Company h= omepage:=C2=A0 =C2=A0 =C2=A0 =C2=A0http://www.gerd-stolpmann.de
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0---------= ---------------------------------------------------
>
>
>
>
>
>
>
> --
> Jeremie

--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany=C2=A0 =C2=A0 gerd@gerd-stolpmann.de
My OCaml site:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 http://www.camlcity.org<= br> Contact details:=C2=A0 =C2=A0 =C2=A0 =C2=A0 http://www.camlcity.= org/contact.html
Company homepage:=C2=A0 =C2=A0 =C2=A0 =C2=A0http://www.gerd-stolpmann.de=
------------------------------------------------------------

--047d7b62499cb958120537849a04--