demexp-dev
[Top][All Lists]
Advanced

[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:24:41 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux)

Thomas,

A simple solution seems to avoid that path handling at all, assuming
cdo2ml is in the PATH. So we would have:

Thomas Petazzoni <address@hidden> writes:

> I grepped in cduce source code, and I think the call to cdo2ml is in
> ocamliface/mlstub.ml, around line 550 :
>
>   let exe = Filename.concat (Filename.dirname Sys.argv.(0)) "cdo2ml" in

let exe = "cdo2ml" in

>   print_endline prolog;
>   let oc = Unix.open_process_out exe in
>   Marshal.to_channel oc str_items [];
>   flush oc;
>   ignore (Unix.close_process_out oc)

Yours,
d.
-- 
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]