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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3681D7EF5E for ; Wed, 13 Jul 2016 11:50:49 +0200 (CEST) IronPort-PHdr: 9a23:SxBAnBLyhPG0OyxaldmcpTZWNBhigK39O0sv0rFitYgUIv7xwZ3uMQTl6Ol3ixeRBMOAuqoC17Kd6v2ocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+kQsiO14/uiqibwN76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtLYqySlbuuog+shcSu26Ov1gFf0LRAghZk887tfquB2LdgCP62ERSC1CnRNCGQnI6FfhVZf8qCbgnuV40Siee8bxSOZndy6l6vJJRQXljSYKfxI49WDRjYQkjq5apROnoDR9yojZe52POfdiOKjaeIVJFiJ6Qs9NWnkZUcuHZIwVAr9EZL4Aog== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jdimino@janestreet.com; spf=Pass smtp.mailfrom=jdimino@janestreet.com; spf=None smtp.helo=postmaster@mxout3.mail.janestreet.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout3.mail.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@mxout3.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BYAADsDYZXfeXIaSZchBR8BoJ4qWOMF4F6IoV2AoEqBzoSAQEBAQEBAQERAQEJFglQgjIEARIBghIBAQQBDAYRHQEBEyQBBAsJAgsNKgICIQESAQUBHAYTCRmHdAMPCAMLkz6PQoExPjGKVGeEQwEBBYYTDYQeAQEBAQEBAQMBAQEBAQEBAQEBFQgQhhqETYJDgWdEghw4glqIIZBMNIYRhjADghOPL4gfhjkSHoEPJQWEHG0BiTYBAQE X-IPAS-Result: A0BYAADsDYZXfeXIaSZchBR8BoJ4qWOMF4F6IoV2AoEqBzoSAQEBAQEBAQERAQEJFglQgjIEARIBghIBAQQBDAYRHQEBEyQBBAsJAgsNKgICIQESAQUBHAYTCRmHdAMPCAMLkz6PQoExPjGKVGeEQwEBBYYTDYQeAQEBAQEBAQMBAQEBAQEBAQEBFQgQhhqETYJDgWdEghw4glqIIZBMNIYRhjADghOPL4gfhjkSHoEPJQWEHG0BiTYBAQE X-IronPort-AV: E=Sophos;i="5.28,356,1464645600"; d="scan'208,217";a="226595924" Received: from mxout3.mail.janestreet.com ([38.105.200.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 Jul 2016 11:50:48 +0200 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout3.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1bNGoZ-0002ly-2Z for caml-list@inria.fr; Wed, 13 Jul 2016 05:50:47 -0400 X-JS-Flow: external X-JS-Scanner-attachment: (ok) No attachments Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BXhg73-AAAHN0-A7; 2016-07-13 05:50:47.031371-04:00 Received: from mail-qk0-f199.google.com ([209.85.220.199]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1bNGoY-0006Nm-U8 for caml-list@inria.fr; Wed, 13 Jul 2016 05:50:46 -0400 Received: by mail-qk0-f199.google.com with SMTP id f7so77920026qkc.0 for ; Wed, 13 Jul 2016 02:50:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=U9TwysrmK99PGRhseaIbD5cPuKa1bsshqnFnji4IP80=; b=j/umSP749Fb6izPLLAZJSy0sXdUFv8PI9vhwsO8QUKp86DM3i9GEo3jjd05cmYyy9r uA4YpQRaMFnBF/eSQOx8ByBNk4tsn1jWN4pqHHjv9P2KBzmGeJ26b3BxuROBeYBefJdD dOliawFGxa2gEKoTMbk3sJ5rtvFi37nklfr64= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=U9TwysrmK99PGRhseaIbD5cPuKa1bsshqnFnji4IP80=; b=LfIXg0lgrWVZg7eA1ghK5s/oSFkLqF7sC7CisuKh28IQvrIu3a41EPDs56VOODEyKs +xD0OIbGBLFTlIVYQwivhSrm4Npb0xb0KCAd1RPqDt3jwyqTIGLHFex+SEiM08k4fPhB dDdFxh/9zfMBQ/asOcehwjXLT7fhCHvdV1fWqs/tJpZD49SE9porsW1M1/5ypMmSl5hQ yiuWLLgy/FjVwkDr00TGs0RG7ifrlA6ECp/Pm1NaKvTwsyizrTG5Vg8i4zjTvK560UTa 0nT5b3nV7fWgfXrRCJdzyRdy7m0XkghFWJzG7lsttGhl571XIWFHLJoOrAzZIjOXOvDt ZqBg== X-Gm-Message-State: ALyK8tI1RJN6FKwfGG3nzeXEpBP1eqE+0gAAUaJJANr/r2uwxC9skaOSZmYYhl6xqPx8g6L6XdrrTdVCBk7i0XnROC4LQbQ8NDeiXeKi/0HT+jTaDmxb+0rn5xFg6Ss2PIan6HWuK9U/Wu8mg6vZ05mE2y2LfnrGGyvlj723syw= X-Received: by 10.200.45.108 with SMTP id o41mr10559578qta.100.1468403446663; Wed, 13 Jul 2016 02:50:46 -0700 (PDT) X-Received: by 10.200.45.108 with SMTP id o41mr10559566qta.100.1468403446511; Wed, 13 Jul 2016 02:50:46 -0700 (PDT) MIME-Version: 1.0 Received: by 10.237.46.37 with HTTP; Wed, 13 Jul 2016 02:50:46 -0700 (PDT) In-Reply-To: References: <1468359569.25014.103.camel@e130.lan.sumadev.de> From:Jeremie Dimino Date: Wed, 13 Jul 2016 10:50:46 +0100 Message-ID: To:Gabriel Scherer Cc:Gerd Stolpmann , caml-list , Thomas Refis Content-Type: multipart/alternative; boundary=001a11352ae0d11a62053781517f X-JS-Processed-by: mailcore Subject: Re: [Caml-list] ocamlnat --001a11352ae0d11a62053781517f Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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 working on ocaml= nat 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 ...) instea= d. > > 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 >> ------------------------------------------------------------ >> >> > --=20 Jeremie --001a11352ae0d11a62053781517f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
ocamlnat indeed builds with 4.03 but is not built by de= fault

= On Tue, Jul 12, 2016 at 11:28 PM, Gabriel Scherer <gabriel.scherer= @gmail.com> wrote:
Thomas R=C3=A9fis and J=C3=A9r=C3=A9mie Dimino= have been working on ocamlnat in trunk recently, and ocamlnat builds on ei= ther the "trunk" branch or, I believe, the 4.03 release. You shou= ld 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 distribut= ion:

=C2=A0 make runtop
=C2=A0 make natruntop

=
I added them during the 4.03+dev release cycle, but didn't mentio= n 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 P= M, Gerd Stolpmann <info@gerd-stolpmann.de> 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 agains= t
4.02.3:

https://gitlab.camlcity.org/gerd/ocamlnat

Since recently I'm quite interested in this, and would like to make it<= br> 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=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=
------------------------------------------------------------





--
=
Jeremie
--001a11352ae0d11a62053781517f--