demexp-dev
[Top][All Lists]
Advanced

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

Re: [Demexp-dev] [PATCH] Compatibility with CDuce 0.3


From: David MENTRE
Subject: Re: [Demexp-dev] [PATCH] Compatibility with CDuce 0.3
Date: Sat, 04 Jun 2005 21:42:14 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux)

Thomas Petazzoni <address@hidden> writes:

> As previously reported by Thomas de Grenier de Latour on this
> mailing-list, the CDuce language changed between 0.2 and 0.3. The old {|
> and |} are now replaced by simple { and }.
>
> The attached patch fixes the problem. (Note: the included patch is a
> Debian patch. It can be applied by simply removing the first few lines).

Patch applied... oh well, not exactly, it failed, probably because I
have modified the file (your patch is for 0.4, right?).

No I have a compile error with:
No implementations provided for the following modules:
  Expat referenced from /usr/lib/ocaml/3.08.3/cduce/cduce_lib.cmxa(Cduce_lib)
  Curl referenced from /usr/lib/ocaml/3.08.3/cduce/cduce_lib.cmxa(Cduce_lib)

I suppose this is because you have compiled CDuce with expat and curl
instead of netclient and pxp.

You told me once that you had a patch that fixed this issue once and for
all. Could you sent it to me?

Sincerely 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]