* EL CHAAR Rabih:

> The interface file is still in the lib directory.
> you should do the follwing :
> #directory "../lib";;
> # Foo.add;;
>
> The toplevel has to see the interface files .cmi in order to get the
> types, since this infomation is not in the compiled .cmo or .cmx.

Ah, this explains it.  Thanks a lot.

Is there some way to hard-code the paths in the binary (or include the
.cmi files themselves)?  Currently, I use Topdirs.dir_directory to set
the directories, which seems to work, but smells a bit like abusing an
internal interface.