Download

Installation

You can try the graphical installer:

  • (Ocaml 4.01.0, stable)
  • (Ocaml 4.01.0, stable)
  • (Ocaml 4.02.1, new)
  • (Ocaml 4.02.1, new)

The installer will first create a customized Cygwin environment and then install OCaml and programs like findlib. You can download additional libraries and programs later with the Wodi Package Manager.

Cygwin based tools are needed for WODI, ocamlbuild, and in order to compile OCaml sources to native code. You can’t use WODI without Cygwin. Cygwin will be downloaded from the internet during the installation. Because they change their setup routine from time to time, the installer might fail at this stage. In this case, you can still install WODI manually from a Cygwin shell.

Caution

It’s recommended to install WODI as normal user, not as administrator (no system wide installation). It’s easier to maintain WODI, if you have full write access inside your cygwin environment.

However, WODI must be installed to a folder that doesn’t contain any whitespace characters. Depending on your configuration and Windows version, you don’t have the necessary rights to create a new folder without whitespaces under C:\ or somewhere else. In this case, just start cmd.exe as administrator, create such a folder, and change its rights:

md C:\wodi32
cacls C:\wodi32 /T /E /G "Your Username":F

Now you can start the installer as normal user and specify this folder as root directory of your WODI/cygwin installation.

Installation (from shell)

  • (Ocaml 4.01.0, stable)
  • (Ocaml 4.01.0, stable)
  • (Ocaml 4.02.1, new )
  • (Ocaml 4.02.1, new)

First of all, you need a working Cygwin installation. Make sure, that the the following packages are installed (via Cygwin’s setup.exe ):

  • all packages in the base category
  • dos2unix
  • diffutils
  • cpio (!)
  • make
  • patch
  • mingw64-i686-gcc-core (32-bit) / mingw64-x86_64-gcc-core (64-bit)
  • rlwrap
  • optional: m4, time, wget, zsh, ncurses, unzip, perl, mingw64-i686-g++/mingw64-x86_64-g++, util-linux (necessary for some WODI packages, but not the basic ones).

Open a Cygwin terminal and execute the following commands:

# switch to the dir, that contains the downloaded archive
$ tar -xf wodi32.tar.xz # or wodi64.tar.xz
$ bash wodi32/install.sh # or bash wodi64/install.sh
# Note the output of the script. It will tell you, how you can
# easily create start menu links, etc.

The best location for your Cygwin installation is the folder C:\wodi32 (or C:\wodi64). Some programs use hard-coded path, they won’t work at other locations. Space characters inside your folder are not supported.

Please note, that you need a separate Cygwin installation for each WODI installation. It’s for example not possible to install the 64-bit version under /opt/wodi64 and the 32-bit version under /opt/wodi32. You have to use multiple Cygwin installation in parallel (or configure it manually ;) )

Source Usage

If you prefer to build packages from source, you can use WODI and Cygwin similar to GODI on *nix. After you’ve installed WODI as described above, you can switch to source usage with:

$ godi_console update  # this command will download and extract all build instructions

Proxy

If you are forced to use a web proxy to access the Internet, you can set the environment variable http_proxy:

$ http_proxy=http://proxy.company.com
$ export http_proxy
$ godi_console ....
$ /opt/wodi(32|64)/gui/bin/gui.exe

Or add an entry to /opt/wodi(32|64)/etc/env_add.

Removal

Cygwin has no automatic uninstall facility. You can remove all WODI packages, the start menu links, and environment variables with the shell script /opt/wodi(32|64)/lib/godi/uninstall.sh (previously /opt/wodi(32|64)/gui/bin/winconfig.sh --remove). Then follow the Cygwin FAQ.