[Top][All Lists]
[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
- [Demexp-dev] Fix for 64 bits CDuce issue,
David MENTRE <=