[Devel] compiling cduce on windows.
Pietro.Abate at pps.jussieu.fr
Wed Dec 5 18:19:43 CET 2007
Today I spent some time to compile cduce on windows . The instruction
in the Install.win32 are still mostly ok (there are few small
corrections to do).
I'm now stuck compiling the newest version of pxp, namely 1.2.0test1 .
This version has not been ported to ocaml 3.10 + new camlp4 but it seems
it compiles fine with ocaml 3.10 + ulex 0.8 + camlp5 .
Alain, which version did you use to compile cduce 5.0 ? Did you install
camlp5 ? Which version of ulex ?
I might as well spend some time to port pxp to the new camlp4.
More information about the Cduce-devel