Home/ Questions/Q 8560279
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-06-11T16:14:26+00:00

I am having trouble adding adding a library to ocamlmktop. I have a directory

  • 0

I am having trouble adding adding a library to ocamlmktop.

I have a directory com, with an object file com/com.cma.

If I run ocamlmktop com.cma -o top within the com directory, then the resulting executable top seems to have the library; i.e, I can enter “Com.foo;;” and it will give the type signature of foo in the module Com.

However, if I run ocamlmktop com/com.cma -o top within the directory above com, then the resulting executable does not seem to have the library; i.e, it responds to “Com.foo;;” with “Error: Unbound module Com”.

Is there a way to include libraries from different folders, or do I need to put all the .cma files in the same folder?

Also, I’m using the OASIS build system; can I inform OASIS that I want a toplevel with these libraries?

Edit:

I’ve found a partial solution: ocamlc -pack a/a.cmo b/b.cmo -o everything.cmo, and then ocamlmktop everything.cmo -o top; however, this requires duplicating all the libraries and forces them to be submodules of a single supermodule.

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    The reason that you cannot use toplevel from the directory above is that toplevels do not include interface files (.cmi) and the toplevel needs to find them on disk when the user accesses some module. So, either load toplevel with -I com switch or after loading issue #directory "com";;.

    NB OASIS should support building toplevels natively in the next release (0.4.0).

    • 0