From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBDDwnac015229 for ; Tue, 13 Dec 2011 14:58:49 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtkBAMNZ507U4xEIkGdsb2JhbAAqGppgkEIiAQEBAQkJDQcUAyKBcgEBBAFuCwULBQYOCg0hRRIGEwkIAQKHaAIGI7Vhg3OHdQSMeBMWAZl5 X-IronPort-AV: E=Sophos;i="4.71,345,1320620400"; d="scan'208";a="135221192" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Dec 2011 14:58:48 +0100 Received: from office1.lan.sumadev.de (dslb-084-059-073-218.pools.arcor-ip.net [84.59.73.218]) by mrelayeu.kundenserver.de (node=mrbap4) with ESMTP (Nemesis) id 0MRDEV-1RAInI2y2J-00UcgY; Tue, 13 Dec 2011 14:58:47 +0100 Received: from gps.dynxs.de (localhost [127.0.0.1]) by office1.lan.sumadev.de (Postfix) with ESMTP id 05624C00C7; Tue, 13 Dec 2011 14:58:47 +0100 (CET) Received: from 84.233.128.147 (SquirrelMail authenticated user gerd) by gps.dynxs.de with HTTP; Tue, 13 Dec 2011 14:58:47 +0100 Message-ID: <97c6d65500dce70d274987bc462b7a44.squirrel@gps.dynxs.de> In-Reply-To: <4EE7547F.9030806@gmail.com> References: <4EE5EF49.80108@frisch.fr> <4EE5F883.2020103@gmail.com> <4EE7547F.9030806@gmail.com> Date: Tue, 13 Dec 2011 14:58:47 +0100 From: "Gerd Stolpmann" To: "Edgar Friendly" Cc: caml-list@inria.fr User-Agent: SquirrelMail/1.4.21 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 X-Priority: 3 (Normal) Importance: Normal X-Provags-ID: V02:K0:LmQ3anTbvLaMdThKNzqGNfHb8YuaDrPexaDONYNJtXh 2FI2o0kycIxnXHrn2VkjsPxcRDwR3GinhtpxlZt9njiD1wYSSH RME8WFJ6J1aLj0hX7rH7hKqVc1hX7yjZNBYdIGlS8Jj9xoPeP1 1G+g5S842d3MNDTXLLxyMyE51KuBD1QzwMhYug/SYj++9IL5Qp w2tmHQi6Z0NSeZIxK86pZl5esfKIXRtJqTK38aAaWOOaLhYjeD KneOLBWdiqMKkUhbLXF0NIwKvy/H48bSaOi7A37WXhkMcKD47I 62mXpPJJYrrLOTIPddZPjQo7PRNgY258wF4xsqcKruwmiO+c/k XxGjQ+uzPoYf7y+g8enGsy8JXMG7zTxcOxNroPkmEq39XEpNyg NivhcT+u9F2/1flfcO/aRGcsAI4HzDKt30= Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pBDDwnac015229 Subject: Re: [Caml-list] About the "mingw" port of OCaml > On 12/12/2011 07:50 AM, Matthieu Dubuget wrote: >> >> I tried i686-w64-mingw32-gcc version in august, on a 32 bits system, >> starting from the patches attached to >> http://caml.inria.fr/mantis/view.php?id=5179. >> >> I tested all those packages without problem: >> >> menhir, bitstring, ounit,ocamlcsv, frontc, xmllight, camomile, >> batteries, zlib, camlzip, lablgtk2, easy_format, atd, cppo, biniou, >> yojson, atdgen >> >> Salutations >> >> Matt >> >> > Hmm, I wonder how much the community would benefit from automated > testing of ocaml packages under a variety of environments. Batteries is > definitely benefiting from ygrek's jenkins/hudson server[1] (although it > must have stopped sending me emails again, as batteries HEAD is unhappy > and I didn't get notification). > > ygrek: could you use more build slaves? For GODI packages, there is also an autobuilder: https://godirepo.camlcity.org/openapps/autoui.cgi It simply fetches packages from GODI, and builds them, once every night. This is now only for debian, simply because this was enough for me to check the quality of the packages. If somebody is interested to run it on its own (very simple scripting), I could publish the scripts, with some setup explanations. If reasonable I could also set up a few more VMs for more OSes. I'm a bit concerned, though, that I won't have the time to maintain these. Gerd > > E > > [1] https://build.ygrek.org.ua/jenkins/ > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > > -- 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 *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you.