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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A51F9820A1 for ; Tue, 6 Aug 2013 12:54:20 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of andreas@ml.ignorelist.com) identity=pra; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="andreas@ml.ignorelist.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkUCAPLUAFJQW+UDmWdsb2JhbABbgzuNLaAoAZMMBgIWDgEBAQEBCAsLBxQogmWBMCwNATqIAAiVSaBZjk6BaYN4A5kLkz0 X-IPAS-Result: AkUCAPLUAFJQW+UDmWdsb2JhbABbgzuNLaAoAZMMBgIWDgEBAQEBCAsLBxQogmWBMCwNATqIAAiVSaBZjk6BaYN4A5kLkz0 X-IronPort-AV: E=Sophos;i="4.89,825,1367964000"; d="scan'208";a="28623337" Received: from plane.gmane.org ([80.91.229.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 06 Aug 2013 12:54:19 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1V6eu9-0006jP-JX for caml-list@inria.fr; Tue, 06 Aug 2013 12:54:17 +0200 Received: from 89.204.135.244 ([89.204.135.244]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 06 Aug 2013 12:54:17 +0200 Received: from andreas by 89.204.135.244 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 06 Aug 2013 12:54:17 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Andreas Hauptmann Date: Tue, 6 Aug 2013 12:54:03 +0200 Organization: - Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 89.204.135.244 X-Archive: encrypt Archive: no X-Validation-by: andreas@ml.ignorelist.com Subject: [Caml-list] [ANN] WODI (beta4) (Windows port of GODI) I am pleased to announce a new release of WODI (beta4). Cygwin recently updated their mingw-w64-toolchains and various build related tools (e.g patch). This has led to inconveniences with previous versions of WODI.[*] This release (hopefully) fix these issues and provides new and updated binary packages (compatible with the mingw-w64 4.7.x-toolchain, but not 4.5.x) [**] WODI is an extended Windows port of GODI (and still maintained at the moment). Its build system and package tools rely on Cygwin, but the libraries and programs, compiled with mingw-w64 and OCaml, are independent of Cygwin. WODI can compile ocaml related software from source or can install already compiled packages. The compiled packages are available as 32-bit and 64-bit versions. By default WODI installs the ocaml compiler (4.00.1) itself, flexdll and findlib. Ocamltop-GTK and ocaml-top are now included as replacement to the dated OcamlTopWin. Additional software can be installed through a small package management tool. Among others: - alternatives to the standard library: batteries, extlib and Jane Street's Core_kernel (!?) - various build tools: omake, oasis - common external c libraries with their bindings: pcre, lablgtk2, zarith/gmp, zlib, ... - "pure" ocaml libraries: xmlm, re, camomile, ... - editors: ocamleditor and emacs (with optional support for ocp-indent) A complete list can be found here: http://wodi.forge.ocamlcore.org/packages.html (Caution! Many libraries are just adopted from the original godi repository or their build instructions were generated from _oasis files) Installers can be downloaded at: http://wodi.forge.ocamlcore.org/download.html The installer will first try to create (or update) a cygwin environment and then install GODI itself. However, the installer could fail, if BLODA is involved ( http://cygwin.com/faq/faq.html#faq.using.bloda ) Instructions for manual installation can also be found at the address above. Suggestions, comments and bug reports are welcome. I'm particular interested in your experience with certain packages, e.g. core_kernel and dependencies as well as other common libraries with c stubs. regards, Andreas [*] The mingw-w64 toolchain (necessary to compile ocaml programs) and various unix like tools (needed by GODI) are maintained by the cygwin community; WODI by me. Therefore, such inconveniences can happen from time to time. [**] The packages are incompatible with previous versions of wodi. A binary update through the package manager is not possible.