WODI, the OCaml distribution for Windows, now officially supports OCaml 4.02.0. Updated installers and archives can be found in the download section.
Not all packages are yet officially ported to OCaml 4.02.0. In some cases, they were patched, so that depending libraries and program could be built; the rest will hopefully be available soon.
The changes to WODI apart from the upgrade to OCaml 4.02.0 were already discussed in the previous posts that announces OCaml 4.02.0rc1 and 4.02.0beta:
external libraries are now based on fedora’s repository.
better integration into cygwin (windows-style newlines
\r\n breaks autoconf scripts and many makefile, they are therefore disabled for common invocations like
the quote handling of ocamlbuild was changed.
the performance of godi-tools has been improved.
Instead of upgrading a previous version, it’s probably easier to start with a fresh installation:
/opt/wodi32/lib/godi/winconfig --remove # This removes environment
# variables that were set by WODI from the environment outside cygwin
mv -i /opt/wodi32 /opt/wodi32.old
wget 'http://ml.ignorelist.com/wodi/7/wodi32.tar.xz' -O - | tar -C /tmp -xJf-
godi_add godi-core_kernel godi-batteries # your favorite packages here
Or just use the installer and install WODI to a different location. You can use different installations of cygwin/WODI in parallel. Just disable the export of environment variables like PATH or OCAMLLIB during the installation process (and don’t create links in the start menu).