[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: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
Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9, Thomas Petazzoni, 2005/07/14
Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9, David MENTRE, 2005/07/14
Testing latest CDuce (was: Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9), David MENTRE, 2005/07/14