GODI is a source-based package management system for the OCaml ecosystem. It provides an easy and consistent method of configuring, building, installing, upgrading, and removing software needed by OCaml developers: The OCaml compiler itself and a large list of libraries and development tools.

WODI is an extended Windows port of GODI. Its build system and package tools rely on Cygwin, but the libraries and programs, compiled with mingw-w64 and OCaml, are independent of Cygwin.

WODI differs from the official GODI distribution in the following ways:

  • It ships compiled libraries and binaries for Windows (for 32- and 64-bit systems). You don’t need to build the OCaml compiler and third-party libraries from source. Patching and compiling packages from source is of course still possible.
  • The source code and build instructions of many packages have been patched for better Windows support.
  • It provides many often used external libraries (pcre, gmp, zlib, gtk, …) that are usually already installed on *nix systems, but are not available at default on Windows. They are often difficult to install for inexperienced users.
  • There is a GTK based user interface that hides the Cygwin shell and the GODI console from casual users.
  • It provides improved Cygwin and Windows integration.
  • The installation is easier and less time consuming.
  • WODI is maintained.


( Archive )

WODI now officially supports cygwin64

March 12, 2014

The 64-bit version of cygwin is quite new and not all packages have been ported to it yet. However, all packages that are required to run WODI have already been ported.

WODI packages are usually native windows applications. They are independent of cygwin and you can use them with any version of cygwin. But there are a few build related tools and bootstrap programs, that are linked against cygwin1.dll; they required cygwin in a particular version. These packages have now been updated. They are shipped in two versions (32-bit and 64-bit) and the right binaries are chosen during the installation process. You can use the 32-bit builds of WODI with 64-bit cygwin, or the 64-bit builds of WODI with 32-bit cygwin - or any other combination.

The graphical installer will continue to install a 32-bit version of cygwin for some time, because this version is more stable and more packages are supported. But if you install WODI from console, the install script will now detect cygwin64 and configure WODI accordingly.

If you are already using cygwin64 with WODI, just add the following line to /opt/wodi(32|64)/etc/godi.conf


and upgrade godi-tools to the latest version.

New Graphical Installer

February 10, 2014

There is now a new graphical installer (still experimental); your feedback is highly appreciated!

If you have WODI already installed, check out the packages that were updated during the last weeks, e.g:

  • oasis (0.4.1) (with windows patches)
  • batteries (2.2)
  • extlib (1.6.1)
  • utop (1.10)
  • core_kernel (110.01.00)


December 05, 2013

JonY released a new version of the mingw64 compiler for cygwin. Up to now, I couldn’t observe any incompatibilities. Rebuilds of flexdll, ocaml, and other programs don’t seem to be necessary. But let me know, if you encounter any problems.

I’ve also uploaded new versions of some packages, e.g:

  • apps-ocaml-top
  • godi-core_kernel
  • godi-lablgtk2
  • godi-menhir

The Download Page has also been modified. Installation via the graphical installer is not longer recommended, because it didn’t work well for too many users. Manual installation from a terminal window is hopefully more reliable.

Cygwin's setup-x86.exe broken

October 09, 2013

It looks like the new version of cygwin’s setup-x86.exe breaks the WODI installer. Setup-x86.exe doesn’t handle dependencies between packages automatically any longer.

If you want to install WODI, please first install cygwin manually and then run the WODI installer thereafter.

Update: The cygwin crew seems to have fixed the problem.

OCaml 4.01.0 released

September 13, 2013

OCaml version 4.01.0 was released yesterday. New binary builds can be found in the Download Section.


  • Update to ocaml 4.01. Nearly all packages at least compile with the new version (with some small patches here and there).

  • To strengthen the quality of the binary builds, I’ve gone through the most popular packages and ensured that the test cases are run during the build process (e.g. batteries, core_kernel, ocaml itself). Of course, it only works for a minority of the packages. Most packages don’t provide (maintained) test cases or require manual inspection of the end-result.

  • I’ve updated my scripts that import external c/c++-libraries from the SUSE Factory. I’ve mistakenly assumed the same dependencies for 32-bit and 64-bit platforms, which has led to wrong dependencies and contents in the base-* packages of WODI.

  • oasis and omake have been further modified for better windows support. (Omake still fails to build, but only the 64-bit byte-code version - and only with with recent mingw versions. I must have overlooked something. However, native code compilation seems to work. Let me know, if you encounter any problems with omake)

  • The WODI repository is now available at github. If you have a problem with a package or WODI itself, can create an issue there. The godi mailing list might disappear.

  • ocamltop-gtk (ocamltop-win) has been further modified for better windows support.

  • There is now a pre-configured eclipse package with OCaml support (via OcaIDE). (It turns out, that the ocaml support is very basic. It lacks the features that make eclipse so popular as editor for other languages.)

  • some packages have been upgraded to newer versions