[Devel] compiling cduce on windows.

Pietro Abate 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. 

Comments ?


More information about the Cduce-devel mailing list