caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: caml-list@inria.fr
Cc: godi-list@ocaml-programming.de
Subject: [Caml-list] GODI news
Date: Mon, 22 Oct 2012 04:39:00 +0200	[thread overview]
Message-ID: <1350873540.12207.4@samsung> (raw)

Hi list,

there are some news about GODI, the still alive OCaml distribution:

  (1) A new version of the GODI software (godi-tools) has been
      released, with a bunch of new features, code name Skylift
  (2) Accompanying godi-tools, there is also a new bootstrap,
      now defaulting to OCaml-4.00
  (3) There are two new GODI derivates easing the installation
      on Windows.

  *

1. Skylift

It has been possible for a long time to mix packages from various  
sources, e.g. from the official GODI site, and from alternate sites.  
However, this feature was well hidden, and a bit complicated to use.  
Skylift eases this dramatically:

  - It includes scripts for populating directories with packages to
    export to the public (i.e. share your packages with others)
  - The profile feature was added to exactly control from where to
    take packages. The idea is that the user just installs a single
    file ("profile") and then automatically gets the packages from the
    sources described in this file. This makes it easy to import the
    package sources shared by others.

For some environments, it is very meaningful to deviate from GODI's  
source-only policy, and to create and distribute binary packages (i.e.  
already compiled). To support this better, the binary packages (which  
are also present almost since the beginning but were never noticed)  
have been enhanced. They encode now the "binary compatibility status"  
in a checksum that is appended to the filename, e.g.  
foo-3.4@BUILD_65fd12.tar.gz, and also record extended information about  
this issue within the package file. This means that you can have  
several foo-3.4 packages that were built with distinct dependencies,  
and GODI is clever enough to pick the right one. In addition to this,  
GODI supports now also to download binary packages from remote  
directories, and there is also a new UI dialog for this.

For developers, adding a patch to a GODI package has become easier:  
just edit the file, and then run a command to record the change. That's  
it now.

GODI is now also simpler to install, because you don't need wget nor  
PCRE anymore for running the bootstrap: wget is gone because GODI has  
now an included file downloader, and PCRE could be dropped by  
rearranging some Ocamlnet packaging.

Read more about Skylift:
http://godi.camlcity.org/godi/project-doc/skylift-intro.txt

Skylift is now also described in the User's Manual:
http://godi.camlcity.org/godi/user-doc/umanual.html

You can get Skylift only by installing GODI freshly - there is no  
upgrade path for existing installations.


2. The new bootstrap

The new bootstrap is

http://download.camlcity.org/download/godi-skylift-20121022.tar.gz

It works as before, but default now to install OCaml 4.00.1. Of course,  
you can still select an older version of OCaml.

Note that the support for packages is still not perfect for OCaml 4.00,  
but many packages are already ported (by version bump or patch).



3. Windows (mingw)

Skylift also includes all changes to run together with Cygwin-1.7 (a  
lot of the original GODI Windows support was bound to Cygwin-1.5). This  
inspired two guys to further enhance the Windows experience:

  - CygwinGODI (by Sébastien Fricker) is an installer that covers both  
Cygwin
    and GODI: http://cygwingodi.forge.ocamlcore.org/
  - WODI (by Andreas Hauptmann) goes even further, and creates a GODI
    derivate with specially-adapted packages, and a new GUI. WODI
    uses the new Skylift features for mixing packages sources, and for
    providing binary packages: http://wodi.forge.ocamlcore.org/


Read more about GODI in general: godi.camlcity.org

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------

             reply	other threads:[~2012-10-22  2:39 UTC|newest]

Thread overview: 30+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-10-22  2:39 Gerd Stolpmann [this message]
  -- strict thread matches above, loose matches on Subject: below --
2004-05-14 16:29 Gerd Stolpmann
2004-04-28 12:38 Gerd Stolpmann
2004-02-27  9:41 Gerd Stolpmann
2004-01-04 21:12 Gerd Stolpmann
2003-12-02 22:35 Gerd Stolpmann
2003-12-02 23:09 ` Alain.Frisch
2003-12-02 23:36   ` Benjamin Geer
2003-12-02 23:51     ` Alain.Frisch
2003-12-03  5:12     ` William Lovas
2003-12-03 11:16       ` Sven Luther
2003-12-04  4:25         ` William Lovas
2003-12-08 12:44           ` Sven Luther
2003-12-03 21:14       ` Sylvain LE GALL
2003-12-03 23:59     ` Gerd Stolpmann
2003-12-04  0:41       ` Benjamin Geer
2003-12-05 21:23         ` Gerd Stolpmann
2003-12-03  7:49 ` Byron Hale
2003-11-05 21:28 [Caml-list] GODI News Gerd Stolpmann
2003-11-05 22:59 ` Ken Rose
2003-08-08 21:20 [Caml-list] GODI news Gerd Stolpmann
2003-08-08 21:37 ` Matt Gushee
2003-08-09  9:04   ` Gerd Stolpmann
2003-08-09 17:05     ` Matt Gushee
2003-08-09 18:06       ` Dmitry Bely
2003-08-09 18:44         ` Alexander V. Voinov
2003-08-09 21:16           ` Sven Luther
2003-08-10  1:11             ` skaller
2003-08-10  7:35               ` Sven Luther
2003-08-10 20:25                 ` skaller

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1350873540.12207.4@samsung \
    --to=info@gerd-stolpmann.de \
    --cc=caml-list@inria.fr \
    --cc=godi-list@ocaml-programming.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).