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 CAAFF7EDE3 for ; Mon, 15 Oct 2012 13:08:17 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of romain.bardou@inria.fr) identity=pra; client-ip=188.165.57.91; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="romain.bardou@inria.fr"; x-sender="romain.bardou@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of romain.bardou@inria.fr) identity=mailfrom; client-ip=188.165.57.91; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="romain.bardou@inria.fr"; x-sender="romain.bardou@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mo5.mail-out.ovh.net) identity=helo; client-ip=188.165.57.91; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="romain.bardou@inria.fr"; x-sender="postmaster@mo5.mail-out.ovh.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhsLANzte1C8pTlbmWdsb2JhbABFwBoBAQEBAQgLCwcUJwQuAQEEAQGBTAEBGQEFMgEFQAEQCyEWDwkDAgECAUUGDQEHAogABL0ii1kahiMDlWyBFYRvjRuBYQ X-IronPort-AV: E=Sophos;i="4.80,587,1344204000"; d="scan'208";a="177252420" Received: from 1.mo5.mail-out.ovh.net (HELO mo5.mail-out.ovh.net) ([188.165.57.91]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Oct 2012 13:08:17 +0200 Received: from mail404.ha.ovh.net (b9.ovh.net [213.186.33.59]) by mo5.mail-out.ovh.net (Postfix) with SMTP id F0514FFA5AD for ; Mon, 15 Oct 2012 13:14:55 +0200 (CEST) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 15 Oct 2012 13:08:44 +0200 Received: from unknown (HELO ?138.231.81.36?) (romain%bardou.fr@138.231.81.36) by ns0.ovh.net with SMTP; 15 Oct 2012 13:08:42 +0200 Message-ID: <507BEEE5.4070008@inria.fr> Date: Mon, 15 Oct 2012 13:09:25 +0200 From: Romain Bardou User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.6esrpre) Gecko/20120817 Icedove/10.0.6 MIME-Version: 1.0 To: Andreas CC: caml-list@inria.fr X-Ovh-Mailout: 178.32.228.5 (mo5.mail-out.ovh.net) References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Ovh-Tracer-Id: 17202061728433670739 X-Ovh-Remote: 138.231.81.36 () X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-OVH-SPAMSTATE: OK X-OVH-SPAMSCORE: 49 X-OVH-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeehuddrvdeiucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecuogfuuhhsphgvtghtffhomhgrihhnucdlgeelmdenucfhrhhomheptfhomhgrihhnuceurghrughouhcuoehrohhmrghinhdrsggrrhguohhusehinhhrihgrrdhfrheqnecuffhomhgrihhnpehotggrmhhltghorhgvrdhorhhgpdhighhnohhrvghlihhsthdrtghomhenucfjughrpefkfffhfgggvffufhgjtgfgsehtkegrtddtfedu X-Spam-Check: DONE|U 0.5/N X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 49 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeehuddrvdeiucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecuogfuuhhsphgvtghtffhomhgrihhnucdlgeelmdenucfhrhhomheptfhomhgrihhnuceurghrughouhcuoehrohhmrghinhdrsggrrhguohhusehinhhrihgrrdhfrheqnecuffhomhgrihhnpehotggrmhhltghorhgvrdhorhhgpdhighhnohhrvghlihhsthdrtghomhenucfjughrpefkfffhfgggvffufhgjtgfgsehtkegrtddtfedu X-Validation-by: romain.bardou@inria.fr Subject: Re: [Caml-list] [ANN] Godi for Windows Le 10/10/2012 18:52, Andreas a écrit : > Dear list, > > This post announces the creation of a godi distribution for windows. > > "Wodi" differs from the official godi distribution in the following > ways: > > - it ships binary packages for windows (32- and 64-bit builds). You > don't need to compile ocaml and often used libraries from source. For > convenience, there are also packages for often used external > c-libraries (pcre, tcl/tk, gmp, gtk, ... ). > > - a gtk-based gui for package management that hides the cygwin shell > and the godi console from casual users. > > - patched source packages and build instructions for windows. > > > More details: http://wodi.forge.ocamlcore.org/ > > > Hello, The e-mail address at the end of the page (godi(at)ml(dot)ignorelist(dot)com) seems not to work, I had a failure notice : Sorry, I couldn't find any host named ml.ignorelist.com. (#5.1.2) Any plan on supporting OCamlSDL? This summer I wanted to teach OCaml to a friend by having him program video games (for motivation's sake) but I was not able to compile it. So if Wodi supports it eventually, it would be a selling point for me. Although it's probably not your job to maintain such a package ;) Cheers, -- Romain Bardou