Topfind port to native toplevel
  • OCaml 98.3%
  • Dune 1.7%
Find a file
Nathan Rebours 06cad8ad3e Switch changelog back to dev mode
Signed-off-by: Nathan Rebours <nathan.p.rebours@gmail.com>
2021-07-07 10:48:58 +02:00
lib Initial commit 2021-07-05 19:31:57 +02:00
.gitignore Initial commit 2021-07-05 19:31:57 +02:00
CHANGES.md Switch changelog back to dev mode 2021-07-07 10:48:58 +02:00
dune-project Initial commit 2021-07-05 19:31:57 +02:00
LICENSE.md Initial commit 2021-07-05 19:31:57 +02:00
opttopfind.opam Add installation instruction and fix pin-depends field 2021-07-05 19:52:05 +02:00
opttopfind.opam.template Add installation instruction and fix pin-depends field 2021-07-05 19:52:05 +02:00
README.md Release 0.1.0 2021-07-07 10:48:06 +02:00

opttopfind

opttopfind is a port of the topfind library, shipped with ocamlfind, compatible with the native toplevel.

It depends on compiler-libs-opttoplevel and on a specific fork of OCaml 4.11, available here.

This package is a temporary port and the aim is to integrate this work into upstream ocamlfind once the unification of the native and bytecode toplevel as a simple patch.

It was initally created for a prototyping a version of MDX using ocaml-jit but if you wish to play around with the native toplevel and still benefit from #require directives you can give it a try!

To use the above mentionned compiler fork in a fresh local switch, run the following command:

opam compiler create --switch=. NathanReb:jit-hook-411

Then, in addition to pinning this repo, you'll likely need to pin compiler-libs-opttoplevel as opam doesn't handle transitive pin-depends:

opam pin add compiler-libs-opttoplevel.0.1.0 git+https://github.com/NathanReb/compiler-libs-opttoplevel.git#0.1.0
opam pin opttopfind.0.1.0 git+https://github.com/NathanReb/opttopfind.git#0.1.0

Alternatively you can also add the following pin-depends field to your opam file so that opam install ./ does the right thing:

pin-depends: [
  [
    "compiler-libs-opttoplevel.0.1.0"
    "git+https://github.com/NathanReb/compiler-libs-opttoplevel.git#0.1.0"
  ]
  [
    "opttopfind.0.1.0"
    "git+https://github.com/NathanReb/opttopfind.git#0.1.0"
  ]
]