The octagon library can be compiled under Microsoft Windows (TM).

We explain here how to build MinGW-based libraries.
Building such libraries requires the Cygwin environment.
However, the resulting executables can be used on vailla Windows, 
without Cygwin installed.
In particular, they do not depend upon cygwin.dll, and so, are not
constrained by the GPL license.

Pre-requisities:

- install Cygwin from http://www.cygwin.com

  . the following packages are required:
    autoconf, automake, binutils, gcc-core, gcc-mingw-core, 
    mingw-runtime, w32-api, make

  . do *not* install Cygwin's ocaml package

  . do *not* install MinGW from www.mingw.org


- install OCaml, choosing a MinGW binary installation

  install in a directory without space
  this means *not* the default one
  in the following, we assume this directory is c:\ocaml


- compile the present package with:

  CFLAGS=-D__MINGW32__ CC="gcc -mno-cygwin" ./configure --with-num=float --disable-assert --disable-doc --disable-gmp --with-ocaml=/cygdrive/c/ocaml/lib --build=mingw32 --host=mingw32
  make
  make install