Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9

[David MENTRE]

Thomas Petazzoni <address@hidden> writes:

> As I said in the other e-mail, the problem was that the preprocessor to
> use is "cduce --mlstub" instead of "cdo2ml --static".
>
> However, running "cduce --mlstub" doesn't work, because it looks for
> cdo2ml in the current directory. I have found a simple work around:
> using -pp "/usr/bin/cduce --mlstub".
>
> I've debugged the thing a bit, and came to the conclusion that when
> "cduce" is run directly (assuming it's in the PATH), then Sys.argv.(0)
> doesn't return the full path, and then "cdo2ml" path is incorrect.

A possible explanation: when you run "cduce" directly, the calling
process cd to the directory where cduce lives and starts ./cduce, which
does not happen if you give the absolute path.

Yours,
d.
-- 
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A