Introduction

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.

News

( Archive )

OCaml 4.02.0 / release candidate 1

August 21, 2014

[Edit: the files now contain the final release of OCaml 4.02.0, not OCaml 4.02.0rc1]

OCaml 4.02.0rc1 was released today:

If you are already using OCaml 4.02.0beta, you can upgrade your installation with

$ godi_upgrade

or (if you don’t use the pre-built binary packages)

$ godi_update
$ godi_perform -rebuild -newer

OCaml has been slightly modified for WODI:

Please let me know, if you have any problems with these changes. Otherwise, I will also apply the patches to the final release of OCaml 4.02.0.



OCaml 4.02.0-beta

May 31, 2014

I’m pleased to announce the availability of the first builds of OCaml 4.02.0-beta:

[edit: builds last updated on 25 July 2014; problems related to Windows XP are hopefully fixed now]

The builds also include several other changes besides the upgrade to OCaml-4.02beta, that I want to test before making an “official” release in July/August:

  • an experimental patch has been applied to ocamlbuild. (The trunk ocamlbuild can’t quote properly and calls cmd.exe to start bash, which then in turn calls the real command, e.g. ocamlc. This is obviously slow and error prone due the obscure quoting rules and other restrictions of cmd.exe that are usually ignored.)
  • godi-tools has been updated. Some operations should be considerably faster now.
  • the external c/c++ libraries (the base-* packages) are not longer taken from openSUSE. They are now loosely based on fedora’s repository.

Upgrading an existing installation is not possible at the moment, you need to create a fresh installation. The new version of godi-tools introduces incompatibilities to the old one. I have not yet created a build, that makes the transition between the two version possible.



OCaml 4.01.0 bug fix build online

May 10, 2014

A bug fix build of ocaml 4.01.0 is now available at the usual location. This build includes patches for #5959, #6273, #6328, #6332, and #6361.

If you are using the official binary packages, you can upgrade from shell with:

$ godi_upgrade

If godi_upgrade doesn’t exist, you have an older version of godi-tools installed. In this case, use the GUI (“WODI Package Manager”) and upgrade first godi-tools-gui and then godi-tools (In two steps, not at once. Older releases of godi-tools-gui have a bug. You can’t update godi-tools with these versions). Then proceed with godi_upgrade.

If you want to continue to use the old builds for some time (or revert back to it), you can change the repository address at /opt/wodi(32|64)/etc/godi.conf from

GODI_BINPKG_SERVER=http://dl.arirux.de/5/binaries${MINGW_WORDSIZE}/

to

GODI_BINPKG_SERVER=http://dl.arirux.de/5.old/binaries${MINGW_WORDSIZE}/


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

CYGWIN_WORDSIZE = 64

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)