Christoph Bauer a écrit :
> I added -L$(cygpath -m /usr/lib/w32api) somewhere in the command lin while linking.
> Does this help? (Maybe as -cclib  -L$(cygpath -m /usr/lib/w32api))
>
> Regards,
>
> Christoph Bauer
>   

No :-/

But I think I understood the problem. flexlink tries a lot of paths.
And if the file is not found, a cygpath conversion is tried before
a second search.

This cygpath conversion is done through a file redirection.

> let get_output cmd =
>   let fn = Filename.temp_file "flexdll" "" in
>   if (Sys.command (cmd ^ " > " ^ fn) < 0)
>   then failwith ("Cannot run " ^ cmd);
>     let r = read_file fn in
>       Sys.remove fn;
>       r

In my case fn is void, and cmd is… long.

String.length cmd gives 8406 ie > 8k

I'm pretty sure that I could have my app. compiled
by using a site-lib directory near the root of the filesystem.

Salutations

Matt