[Devel] compiling cduce on windows.

Alain Frisch alain at frisch.fr
Thu Dec 6 13:01:48 CET 2007

Pietro Abate wrote:
> On Wed, Dec 05, 2007 at 07:28:53PM +0100, Alain Frisch wrote:
>> ulex has been ported to the new Camlp4. As far as I remember, it is 
>> possible to build PXP with the OCaml 3.10. There is one tool shipped 
>> with PXP that requires the old Camlp4, but we don't need this tool, and 
>> you can disable it when you ./configure PXP.
> ok. I build it without the pre-processor.
> It's official we have a working window version of cduce.

That's wonderful!

Which port of OCaml did you use?  Cygwin or MinGW?   Redistributing a 
binary build against the Cygwin toolchain forces the code to be released 
under the GPL, as far as I remember.

-- Alain

More information about the Cduce-devel mailing list