From: "Gerd Stolpmann" <info@gerd-stolpmann.de>
To: "Edgar Friendly" <thelema314@gmail.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] About the "mingw" port of OCaml
Date: Tue, 13 Dec 2011 14:58:47 +0100 [thread overview]
Message-ID: <97c6d65500dce70d274987bc462b7a44.squirrel@gps.dynxs.de> (raw)
In-Reply-To: <4EE7547F.9030806@gmail.com>
> 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.
next prev parent reply other threads:[~2011-12-13 13:58 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-12-12 12:10 Alain Frisch
2011-12-12 12:50 ` Matthieu Dubuget
2011-12-13 13:34 ` Edgar Friendly
2011-12-13 13:58 ` Gerd Stolpmann [this message]
2011-12-15 19:20 ` ygrek
[not found] ` <CAL-jcAkt7grC0z7_dVj7zD846zhHdPjWpHZZeCw_m1iEoBf4Fw@mail.gmail.com>
2011-12-15 20:52 ` Edgar Friendly
2011-12-17 21:31 ` ygrek
2011-12-19 3:10 ` Romain Beauxis
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=97c6d65500dce70d274987bc462b7a44.squirrel@gps.dynxs.de \
--to=info@gerd-stolpmann.de \
--cc=caml-list@inria.fr \
--cc=thelema314@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).