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 <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 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
------------------------------------------------------------