From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 9DDA97EC41 for ; Mon, 22 Oct 2012 04:39:09 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.8 as permitted sender) identity=helo; client-ip=212.227.17.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjoBALewhFDU4xEIk2dsb2JhbABEwQojAQEBAQkJCwkUAySDIFBNBQgBJgkRh2oEB7otFJI6A41ViTOSEw X-IronPort-AV: E=Sophos;i="4.80,627,1344204000"; d="scan'208";a="178252720" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Oct 2012 04:39:09 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-214-246.pools.arcor-ip.net [94.219.214.246]) by mrelayeu.kundenserver.de (node=mreu4) with ESMTP (Nemesis) id 0Ld8Mf-1SzpWc3Cld-00i4mx; Mon, 22 Oct 2012 04:39:08 +0200 Received: from samsung (50-76-58-201-ip-static.hfc.comcastbusiness.net [50.76.58.201]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 8A2EDC00D0; Mon, 22 Oct 2012 04:39:06 +0200 (CEST) Date: Mon, 22 Oct 2012 04:39:00 +0200 From: Gerd Stolpmann To: caml-list@inria.fr Cc: godi-list@ocaml-programming.de X-Mailer: Balsa 2.4.11 Message-Id: <1350873540.12207.4@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:g/nSq92AlmcjBg3UMVcqa2183CyTyDwtXW9HzJOyIB/ AYN9myHAUr7MB/REqBrNwYhzmHASZTcbUIxQ9EQ0n/wGLEQ4AN Yp2YANJlNnhBdWSFkkgKbZvK1ZoFk5sLE9D5GJBth9BkB9QUeO B2YXgXXeR6YUL6Tsfo1Z+xP4uo2/hOBM7K2UF1Y5VWhG/t18Mr fnTM3jL0SA65ol/SSisG4wKNO1CsX1KehtBMWw30HFHw4ruFP3 ebr+06uS9GPfSQTKE4Ncp7XSVzH7NXl+Eeel4Zfn9mM6YGy36l j8OiNqH+VORA1uIQUJnMXTpPwNQKMZBx5WNLzVH4Q5Hn0T4YjC p2flNOUtbLi4X8h3nL2E= Subject: [Caml-list] GODI news 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=20=20 sources, e.g. from the official GODI site, and from alternate sites.=20=20 However, this feature was well hidden, and a bit complicated to use.=20=20 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=20=20 source-only policy, and to create and distribute binary packages (i.e.=20= =20 already compiled). To support this better, the binary packages (which=20=20 are also present almost since the beginning but were never noticed)=20=20 have been enhanced. They encode now the "binary compatibility status"=20=20 in a checksum that is appended to the filename, e.g.=20=20 foo-3.4@BUILD_65fd12.tar.gz, and also record extended information about=20= =20 this issue within the package file. This means that you can have=20=20 several foo-3.4 packages that were built with distinct dependencies,=20=20 and GODI is clever enough to pick the right one. In addition to this,=20=20 GODI supports now also to download binary packages from remote=20=20 directories, and there is also a new UI dialog for this. For developers, adding a patch to a GODI package has become easier:=20=20 just edit the file, and then run a command to record the change. That's=20= =20 it now. GODI is now also simpler to install, because you don't need wget nor=20=20 PCRE anymore for running the bootstrap: wget is gone because GODI has=20=20 now an included file downloader, and PCRE could be dropped by=20=20 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=20=20 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,=20= =20 you can still select an older version of OCaml. Note that the support for packages is still not perfect for OCaml 4.00,=20= =20 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=20=20 lot of the original GODI Windows support was bound to Cygwin-1.5). This=20= =20 inspired two guys to further enhance the Windows experience: - CygwinGODI (by S=E9bastien Fricker) is an installer that covers both=20= =20 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 --=20 ------------------------------------------------------------ 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 ------------------------------------------------------------=