demexp-dev
[Top][All Lists]
Advanced

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

[Demexp-dev] Fix for 64 bits CDuce issue


From: David MENTRE
Subject: [Demexp-dev] Fix for 64 bits CDuce issue
Date: Fri, 20 Oct 2006 22:21:56 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux)

Hello Ketty,

I've commited a patch[1] that should fix the 64 bits compilation error of
CDuce code : I'm now using new Caml_int type of CDuce 0.4.1. demexp
should now compile out-of-the-box on 64 bits machines. Let me know if it
really works.

Best wishes,
d.

Footnotes: 
[1]  
http://www.linux-france.org/cgi-bin/hgwebdir.cgi/demexp/latest-dev?cs=b5beed0164da

-- 
GPG/PGP key: A3AD7A2A 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]