[Devel] compiling cduce on windows.
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