Hi list,
I've just uploaded a new build of WODI, the GODI distribution for
Windows: http://wodi.forge.ocamlcore.org/download.html . 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. So 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 (including batteries, no
camomile dependency with version 2.0)
- 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.
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).
But it's now easy to install WODI to an existing cygwin
installation. If you want to upgrade, remove your old WODI
installation(*), start the installer as usual, and then select the root
folder of your existing cygwin installation.
Finally, the homepage (http://wodi.forge.ocamlcore.org/) has been
updated. You can now suscribe to an Atom-Feed. Only major
upgrades will be announced on this list.
Andreas
[*]
Removal from the cygwin shell:
'/opt/wodi(32|64)/gui/bin/winconfig.sh --remove' and then
delete or rename /opt/wodi(32|64)
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
