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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 432F37EDE3 for ; Mon, 15 Oct 2012 22:25:04 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of andreas@arirux.de) identity=pra; client-ip=80.91.229.3; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="andreas@arirux.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.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=mail4-smtp-sop.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 (mail4-smtp-sop.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=mail4-smtp-sop.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: AoELAORvfFBQW+UDgWdsb2JhbABFi2aDArEdIwEBFiYngiABAQQBOkQLCxguEBEbGxmHcgMJCgezLg2JVIpzZgWDF0iCWQOOAoYVgmqKDgOHag+BYQ X-IronPort-AV: E=Sophos;i="4.80,590,1344204000"; d="scan'208";a="159127683" Received: from plane.gmane.org ([80.91.229.3]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 15 Oct 2012 22:25:03 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1TNrDk-0003j8-DW for caml-list@inria.fr; Mon, 15 Oct 2012 22:25:04 +0200 Received: from dslb-178-003-215-017.pools.arcor-ip.net ([178.3.215.17]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 15 Oct 2012 22:25:04 +0200 Received: from andreas by dslb-178-003-215-017.pools.arcor-ip.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 15 Oct 2012 22:25:04 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Andreas Date: Mon, 15 Oct 2012 22:22:31 +0200 Organization: - Message-ID: References: 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: dslb-178-003-215-017.pools.arcor-ip.net X-Archive: encrypt Subject: [Caml-list] Re: [ANN] Godi for Windows On Mon, 15 Oct 2012 05:03:34 -0700 (PDT) Max Mouratov wrote: > Hello. The email address provided on the official WODI page does not > work ("DNS Error: Domain name not found"), so I write here. Ok, I've replaced the domain now. > The following packages seem to work without a hitch: batteries, > easy-format, menhir, ounit, pcre, sexplib, type_conv, ulex. Fine :) > The zip package has a problem -- it lacks the necessary stub library > (dllzip_stubs.dll). I had to build it myself using the sources of > camlzip at http://forge.ocamlcore.org/projects/camlzip/. godi-zip is indeed broken. I've updated godi-zip to version 1.05 and hopefully fixed it. > I was also able to build, install and use the following libraries by > Martin Jambon: > - atd: http://oss.wink.com/atd/ > - atdgen: http://oss.wink.com/atdgen/ > - biniou: http://mjambon.com/biniou.html > - yojson: http://mjambon.com/yojson.html > - cppo: http://mjambon.com/ocaml.html Martin Jambon has already created (godi-) build instructions for all these libraries, however they were not updated to the newest version and so didn't compile. I have now updated them. If Martin Jambon didn't change his makefiles in a fundamental way, the new packages should work. cu, Andreas