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éfis and Jérémie Dimino have been working 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 ------------------------------------------------------------