See also https://github.com/ocaml/ocaml/pull/648/files#diff-3c407d7b5a833ffbd112b654e2c59fa0L116 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é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 > ------------------------------------------------------------ > >