[Devel] compiling cduce on windows.

Pietro Abate Pietro.Abate at pps.jussieu.fr
Thu Dec 6 13:22:08 CET 2007

On Thu, Dec 06, 2007 at 01:01:48PM +0100, Alain Frisch wrote:
> >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.

I've used the Cygwin toolchain, but I'll try to re-compile everything
with the MinGW toolchain as it seems more portable. At least this is the
way the ocaml distribution is compiled on windows. I've to google a bit
about how to do it ... 


ps: if you reply to the ml, we can keep beppe in the loop.

More information about the Cduce-devel mailing list