I’ve just uploaded a new version of WODI. I’ve mainly improved WODI’s build makefiles and patched various build tools:
- omake is now relocatable and can compile c code with mingw-w64.
- oasis now correctly quotes command line arguments that are passed to external commands.
- I’ve included a special version of gnu make (
make2.exe) that can deal with windows paths like
C:/folder/file. Some build systems generate such makefiles and cygwin’s make only supports unix paths.
Because of these changes, several additional packages could be compiled.
There are also other changes:
- programs (ocaml toplevel, editors, ocamlbrowser,…) can now be started with links in cygwin’s root folder (and the start menu of Windows, if enabled during installation). These links call a special wrapper that cleans rudiments of other ocaml installations from the environment. It’s now easier to use several versions in parallel (eg. 32- and 64-bit, 4.00.1 and 4.01 in the future).
- There are additional base-* packages. The existing ones have been cleaned up.
- The installer now fetches a list of cygwin mirrors from the internet and you can choose one yourself. So it hopefully won’t break again, if they change their mirrors.
- Some packages have been upgraded.
- For the first time, I’ve build different binary packages for the same source packages (with different configurations). GTK+/lablgtk2 is a huge dependency and slow to install. Therefore, packages with an optional dependency on gtk+/lablgtk2 will be built twice: with and without gtk support. (It doesn’t work as expected, the bug will be fixed in the next version)
However, it’s still not possible to update WODI itself either through the gui or the command line. If you want to use the new builds, you have the re-install WODI (Currently the binary packages are always bound to a special version of
godi-tools. I won’t fix this in the near feature, because I don’t like to make the format of the packages permanent at the current stage of development).
But it’s now possible to install WODI to an existing cygwin installation. For upgrade, just rename/remove your old
/opt/wodi(32|64)-folder and start the installer as usual.