From: "Soegtrop, Michael" <michael.soegtrop@intel.com>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: "Daniel Bünzli" <daniel.buenzli@erratique.ch>,
"caml-list@inria.fr" <caml-list@inria.fr>
Subject: RE: [Caml-list] ocamlbuild on Windows and bash vs. cmd
Date: Thu, 6 Oct 2016 16:16:07 +0000 [thread overview]
Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF8E2DF@IRSMSX102.ger.corp.intel.com> (raw)
In-Reply-To: <CAPFanBG44LsH8YsSW0Xt9qt_OLGyd7sj22NG9jtKKjP__EbJ4Q@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 2672 bytes --]
Dear Gabriel,
To solve that problem we need a better testing infrastructure for ocamlbuild, but also get more tests from Windows users to provide feedback on other approaches or patches reworks, etc. If someone, for example you, is willing to start a more persistent approach of iterative improvements and tests, I think that things could improve rather quickly.
well I am using ocamlbuild daily on Windows, currently with MinGW cross OCaml on cygwin, but I would like to switch to a native MinGW solution. I cannot make any long term promises, but at least for a midterm transitional period (say 6 months), I have no issue to run a test suite every week on plain Windows, on plain Cygwin, on MinGW cross on Cygwin and also on Linux.
Also I have scripts which fully automate setup and test of plain MinGW, MinGW cross on Cygwin and plain Cygwin OCaml. That is you start a batch file, and it will install a fresh cygwin and start a bash script which downloads and compiles the respective flavor of OCaml and run some tests with 0 user interaction. If this helps, I would be happy to tailor these scripts to whatever automation systems you have and contribute them.
Privately I am using Amazon AWS (that is rental of datacenter infrastructure of Amazon’s own datacenters) quite a bit. If the OCamlbuild community has issues with setting up a reliable multi-platform server infrastructure, this might be an effective and very low cost solution. You get virtual Windows and Linux servers with root access and customizable specs (memory, CPU). The good thing is that you pay for the servers only when they run. I think you would have to test quite a lot to get a bill of more than 5$ a month, likely it will be around 1$. If this is something we want to look into, I would pay the bill privately for 2 years (up to 100€). One can integrate such systems easily with other systems, e.g. you do some signed http post with a script, which triggers a process on an Amazon lambda server, which boots up the real servers which then runs the tests, post the results on some web storage and shut down again. I really love this stuff ;-)
An interesting question is how many “obscure” test cases for ocamlbuild we can get. My own projects use Menhir, Ocamllex and a few non-standard libraries, so at least this would run.
Best regards,
Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928
[-- Attachment #2: Type: text/html, Size: 6557 bytes --]
next prev parent reply other threads:[~2016-10-06 16:16 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-10-06 13:38 Soegtrop, Michael
2016-10-06 13:45 ` Kakadu
2016-10-06 14:01 ` Soegtrop, Michael
2016-10-06 13:55 ` Daniel Bünzli
2016-10-06 14:15 ` Soegtrop, Michael
2016-10-06 14:45 ` Gabriel Scherer
2016-10-06 16:16 ` Soegtrop, Michael [this message]
2016-10-06 17:45 ` Jeremie Dimino
2016-10-06 18:56 ` Gerd Stolpmann
2016-10-07 6:58 ` Soegtrop, Michael
2016-10-07 16:19 ` Yaron Minsky
2016-10-11 11:49 ` Soegtrop, Michael
2016-10-11 12:36 ` Yaron Minsky
2016-10-11 13:00 ` Ivan Gotovchits
2016-10-11 13:06 ` Anil Madhavapeddy
2016-10-11 13:13 ` Yaron Minsky
2016-10-11 13:27 ` Hendrik Boom
2016-10-11 13:53 ` Soegtrop, Michael
2016-10-11 15:48 ` Adrien Nader
2016-10-11 13:46 ` Soegtrop, Michael
2016-10-14 12:19 ` Manfred Lotz
2016-10-17 8:08 ` Soegtrop, Michael
2016-10-17 9:22 ` Manfred Lotz
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=0F7D3B1B3C4B894D824F5B822E3E5A172CF8E2DF@IRSMSX102.ger.corp.intel.com \
--to=michael.soegtrop@intel.com \
--cc=caml-list@inria.fr \
--cc=daniel.buenzli@erratique.ch \
--cc=gabriel.scherer@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