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 F33617EF5E for ; Wed, 13 Jul 2016 14:22:43 +0200 (CEST) IronPort-PHdr: 9a23:klsG+REGJ1qrusUT+s7E+J1GYnF86YWxBRYc798ds5kLTJ75oMSwAkXT6L1XgUPTWs2DsrQf2rKQ7/irBTFIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWD14Lrj6vuptX6WEZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wyse/mrxTGTAbHynoZU2MR2k5KDwnA7Rf9dpX4tCbhqvBw1TXcNsrzG+MaQzOnuohmUhOgszsAMyY8+WfRwphxiqxciB2svRA62JLTZJmQPfx4OK/QK4BJDVFdV9pcAnQSSri3aJECWq9YZb5V Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.130; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.130; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.130; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CaAABYMYZXhoJ+49RbhBR8rFGMF4F6IoV2AoEtORMBAQEBAQEBAREBAQEICwsJIS+CMgQBEgGCEwEFDEkkEAsOCi4hNgYTCYgNAxsBCbwsDYQeAQEBAQEBAQMBAQEBARQOhTKFRYJDgWcjgj0LgwcFiByQTDSBOgKEVYYwA4ITiUsEhWCIH4d4IAGCTYFZbAGJNgEBAQ X-IPAS-Result: A0CaAABYMYZXhoJ+49RbhBR8rFGMF4F6IoV2AoEtORMBAQEBAQEBAREBAQEICwsJIS+CMgQBEgGCEwEFDEkkEAsOCi4hNgYTCYgNAxsBCbwsDYQeAQEBAQEBAQMBAQEBARQOhTKFRYJDgWcjgj0LgwcFiByQTDSBOgKEVYYwA4ITiUsEhWCIH4d4IAGCTYFZbAGJNgEBAQ X-IronPort-AV: E=Sophos;i="5.28,357,1464645600"; d="asc'?scan'208";a="184745722" Received: from mout.kundenserver.de ([212.227.126.130]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 Jul 2016 14:22:42 +0200 Received: from office1.lan.sumadev.de ([88.69.132.222]) by mrelayeu.kundenserver.de (mreue005) with ESMTPSA (Nemesis) id 0MHcm8-1bOQB043wK-003Pb8; Wed, 13 Jul 2016 14:22:39 +0200 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 368EDDC05D; Wed, 13 Jul 2016 14:22:38 +0200 (CEST) Message-ID: <1468412557.25014.111.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: Jeremie Dimino Cc: Gabriel Scherer , caml-list , Thomas Refis Date: Wed, 13 Jul 2016 14:22:37 +0200 In-Reply-To: References: <1468359569.25014.103.camel@e130.lan.sumadev.de> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-DrhIDA/NdMbOkVvemhEC" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:he2cFR0KbJR1+MTkVCv/T1hZ+Th+bQkTjZ/RfWyAZYBFQXazGzE DeEmk3Q9n10YzsKRjm0aZJIVEoqKGbhoNpYvdkT9yFHZUFfD0GLjVGLpi1egraabmtsem1A c5Th+Lze3a3rlP4RW9yM9eJaBu7HIUIIBkqM9mJVXA7j9iNPkpAMAgGEC8HiNZ9E6FXfSwq 1YounHqF92gPGucqBj2ug== X-UI-Out-Filterresults: notjunk:1;V01:K0:5ZqIsSvyYnI=:I9+1zQ320OT7FtVHOWUIJc fwaZ2KTyiqjnG5FXXI8K2Jm3/81RcGCxg9hV9Ugsk2t1IsFRKoYi35geqcFbnNgWaYdemc+Is FA3vFMUpTwFaOUG0YyAh7zcRG/P/saNFXzyIbQmlyXXa7D/28BIwBVtQ5Ea2UlwdkvwObcMoC 6c2xqX/HraQXdjgGy/OX73eniCVsynNMQ3UByQDd/8Gq87sXllnKwK+kfVq8+UFH5QWkMI7pB W8YaJHWXwLLx9QGP9UVqe9b4u5F6Dew5JkWdxP1UAfwlboKAVfeYSy8VOR0cHuzpgIr3XgG3m Rf7sbdzFG8jloV+zKAO9gp92mHtmYgP40EagYPG4G5hUnbz+1rA1TpSz2NdAamLTNfbDgFLr6 aICP26YDhTMY3U5ba/B7g2uoQvT1+y72djERvjXclWqtoJT17MRxBDZRPVWCu/O89PfK2dWL6 H9LGDSDvP4/CpXdRbbRFocdrnSbmSvpXKfxaJi1k9I09DEyTpq2/ki3PTWKOgIIGrvLKgowew +5fDeHB/tSgS9MmXN2/GPosgG2Hf17LBWJLnTio/oX/UpPxTxajV2f1y7H3+FXJoYaNDSW30g Ml1oJYEjBhDR7GEbcgHGa2AHxS1EmDb86KNGt99Tgu/VgvPIr3BbdCCdjLfBZx3EuCtbwfCw2 /ViNzrEa/QW8YlDZw8lylBzyeWGNUlBIteEuJ2WNme+S351ou1qdK//aTLdjznEgAMuI= Subject: Re: [Caml-list] ocamlnat --=-DrhIDA/NdMbOkVvemhEC Content-Type: text/plain; charset="ISO-8859-15" 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 >=20 > On Tue, Jul 12, 2016 at 11:28 PM, Gabriel Scherer > wrote: > Thomas R=E9fis and J=E9r=E9mie Dimino have been working on ocamln= at > in trunk recently, and ocamlnat builds on either the "trunk" > branch or, I believe, the 4.03 release. You should talk to > them. >=20=20=20=20=20=20=20=20=20 >=20=20=20=20=20=20=20=20=20 > 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: >=20=20=20=20=20=20=20=20=20 >=20=20=20=20=20=20=20=20=20 > make runtop >=20=20=20=20=20=20=20=20=20 > make natruntop >=20=20=20=20=20=20=20=20=20 >=20=20=20=20=20=20=20=20=20 > 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. >=20=20=20=20=20=20=20=20=20 >=20=20=20=20=20=20=20=20=20 > On Tue, Jul 12, 2016 at 5:39 PM, Gerd Stolpmann > wrote: > Hi, >=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 > 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: >=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 > https://gitlab.camlcity.org/gerd/ocamlnat >=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 > 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. >=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 > 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=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 >=20=20=20=20=20=20=20=20=20 >=20=20=20=20=20=20=20=20=20 >=20 >=20 >=20 >=20 > --=20 > Jeremie --=20 ------------------------------------------------------------ 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 ------------------------------------------------------------ --=-DrhIDA/NdMbOkVvemhEC Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJXhjKNAAoJEAaM4b9ZLB5TmaYH/ig78jrkv++teb4hReUTK+Qz uPDX2FnagKe5KSw1OAoMFcHZ2xV7g0On2blE4Gpl6pXQVPRBHhZxySOJN+YZUyYl qa+ns8XVz8DcZTtfI/W9qV01ApJcafVr0DP16OTCTLNJ+97GI5KUbEEPh6CCCXBh 6VbFO/P9GM8+Fog9ILDZb1mbdCeYl/JblXuG2c084+tsB4W9X2dr2n7hhZvUggJF yczAeb498CjZENLjDOwlaS79FLfYA9wSEt9JCZm8eeJ7X1U23DCiBBVxJU8Zfp29 I+tyu1sSCVJqoUTaEvPLBO2KjOsZB9z9QNPU0JNUp1c1tKS3PBNjfXWtDXhia7g= =gUGu -----END PGP SIGNATURE----- --=-DrhIDA/NdMbOkVvemhEC--