Thomas Petazzoni <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A _______________________________________________ Demexp-dev mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/demexp-dev
