On Fri, 18 Nov 2005, Florian Weimer wrote:

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

You can create a script like:

#!/bin/sh
exec the_toplevel -I the_directory


Martin

--
Martin Jambon, PhD       http://martin.jambon.free.fr

   Integrated Regexps       http://martin.jambon.free.fr/micmatch.html
   Bioinformatics Wiki      http://wikiomics.org