[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: David MENTRE
Subject: Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9
Date: Thu, 14 Jul 2005 20:30:03 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux)

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.

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]