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 21B517FCCD for ; Wed, 13 Jul 2016 00:29:08 +0200 (CEST) IronPort-PHdr: 9a23:2rwfghxqOfhNrK7XCy+O+j09IxM/srCxBDY+r6Qd0eIUIJqq85mqBkHD//Il1AaPBtSDrakVwLOL+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwud7yzQd+Z1pn//tvx0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY+YtaRu+CVIuv8n69UIEeCjJ/x5HvRkC2EJPno5rPb3sh3bSAKJ4DNIU2MYlTJHDhLJqQrmWZPptyL8sKxx1X/JE9fxSOUbUD647qpvACTjiCodOiRxpG7egNZxgaYduxmhqgZy2abbZYiUMLx1eaaLLoBSfnZIQssED38JOYi7dYZaSrNZZes= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f46.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.46 as permitted sender) identity=mailfrom; client-ip=209.85.214.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-it0-f46.google.com) identity=helo; client-ip=209.85.214.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ACAQDobYVXhi7WVdFchBR8BoJ4qlWGNIZ9IoV2AoEuBzsRAQEBAQEBAQERAQEBCAsLCSEvgjIEARIBghMBBAEMBhEdARQHHQEDAQsGAwIEBwM0AgIiAREBBQEcBhMJGYdzAQMPCA6UGY9CgTE+MYs7gWqCWgWFQAoZJw1Sg0wBAQEBAQEBAwEBAQEBAQEYAgYQhhqETYQqRIJUgloFiByQf4FbhDSGMoITjy6OVRIegQ80gjqBcyAyAYkkAQEB X-IPAS-Result: A0ACAQDobYVXhi7WVdFchBR8BoJ4qlWGNIZ9IoV2AoEuBzsRAQEBAQEBAQERAQEBCAsLCSEvgjIEARIBghMBBAEMBhEdARQHHQEDAQsGAwIEBwM0AgIiAREBBQEcBhMJGYdzAQMPCA6UGY9CgTE+MYs7gWqCWgWFQAoZJw1Sg0wBAQEBAQEBAwEBAQEBAQEYAgYQhhqETYQqRIJUgloFiByQf4FbhDSGMoITjy6OVRIegQ80gjqBcyAyAYkkAQEB X-IronPort-AV: E=Sophos;i="5.28,354,1464645600"; d="scan'208,217";a="184680014" Received: from mail-it0-f46.google.com ([209.85.214.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Jul 2016 00:29:06 +0200 Received: by mail-it0-f46.google.com with SMTP id f6so28139990ith.0 for ; Tue, 12 Jul 2016 15:29:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=UZcusBTwpLP35cS9c7e8Oh+FnQmz3k3OhyqYkvqPwIU=; b=rGyDkcYzb2PWsaGdeRzDaA0Imztbhe03JEuyndrUaWWV2SmJfOtToL3o6SY5afdV79 kppsPN5X8OuzO+sA3y3Jo/OifVhr2UFVwBs0/2eR0wpjxjcBabhUGzC66pxcJ/LSAOqi ZluFXlTU6x0f2P92xDpuO1aUacp1lNwXV+/HbCB7tZiV1pzTZVfO0VUQTLVwfcdh6Fqb flaIC0GHB4H8M8k/ZNy46T+IKm+J9mI7HqK2U2KJiaLh9KI34G+GAe2bDx/LCgpxG9hj fCkEYWTkCEEalD+8fcwxEj1eA52RuSNKhUT6H1Owrv4ADCfDyBhtLcW7EwmHnhzAQ3nI /BpQ== 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=UZcusBTwpLP35cS9c7e8Oh+FnQmz3k3OhyqYkvqPwIU=; b=kQFZhCKzdZATF5fsME+/26SKamov722jqynvvUBeA4z8JJhZtKq+uUoQh08Tthif+v dG5skrQKb0k4dRdBYFpXXldVbXNeDF1awYd9oRFGtf93wXpbRzjlMxbbOVaB9ifsTJAe gkmMWbfEQByLkFP5E7KEHO6fFeZO7xJfMv0WUTjr6j1mFj0XmoA7UZDx9uRkKpovgeos Jw51Y/Q93qgVtYjTLMNcLXizYxN5X0th+OocKmdLdPxUdLFfCBR/v1eHTD2YQebuvZiO JHEqfOZ9O2ZR/EpCwB2pWW9Z8zee9S2dYkXupx9LnLHrJkeSOc9ZF4YcBZ6Uv2rjDr7W kPHw== X-Gm-Message-State: ALyK8tKT0ga4k97DHfVHUrzhk0nandcDhtD4XVKsqpdlM7LC5YV9uu0ql58uwlUojMpfRFE5vfZW8uZhYLAt5w== X-Received: by 10.36.141.196 with SMTP id w187mr5589838itd.87.1468362545593; Tue, 12 Jul 2016 15:29:05 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.68.130 with HTTP; Tue, 12 Jul 2016 15:28:26 -0700 (PDT) In-Reply-To: <1468359569.25014.103.camel@e130.lan.sumadev.de> References: <1468359569.25014.103.camel@e130.lan.sumadev.de> From: Gabriel Scherer Date: Tue, 12 Jul 2016 18:28:26 -0400 Message-ID: To: Gerd Stolpmann Cc: caml-list , Thomas Refis Content-Type: multipart/alternative; boundary=94eb2c07ab48ee8a53053777cb86 Subject: Re: [Caml-list] ocamlnat --94eb2c07ab48ee8a53053777cb86 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Thomas R=C3=A9fis and J=C3=A9r=C3=A9mie Dimino have been working on ocamlna= t 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 > ------------------------------------------------------------ > > --94eb2c07ab48ee8a53053777cb86 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Thomas R=C3=A9fis and J=C3=A9r=C3=A9mi= e Dimino have been working on ocamlnat in trunk recently, and ocamlnat buil= ds on either the "trunk" branch or, I believe, the 4.03 release. = You should talk to them.

Let me take this an opportunity to ad= vertise the "runtop" target in the compiler distribution's Ma= kefile, which runs a toplevel from an (uninstalled) build of the compiler d= istribution:

=C2=A0 make runtop
=C2=A0 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 mos= t people keep doing weird incantations of (./byterun/ocamlrun ./ocaml -I no= stdlib ...) instead.

On Tue, Jul 12, 2016 at 5:39 PM, Gerd Stolpmann <info@ge= rd-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=
------------------------------------------------------------


--94eb2c07ab48ee8a53053777cb86--