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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C39F57FB0A for ; Wed, 10 Dec 2014 10:57:35 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmQAAKgYiFQFmeEzl2dsb2JhbABZg1jGZIVsAgiBDhYBAQEBAREBAQEBAQgWB0KEAwEFOj8QCxguISgBDQYTG4gJAxUJ0S4NhVoBAQEBAQEEAQEBAQEBAQEBAQEXjVgTgWUzBzCCcYEVBZFCgXyBcYFEgQwwhDyCAYMzOolibgEBgkEBAQE X-IPAS-Result: AmQAAKgYiFQFmeEzl2dsb2JhbABZg1jGZIVsAgiBDhYBAQEBAREBAQEBAQgWB0KEAwEFOj8QCxguISgBDQYTG4gJAxUJ0S4NhVoBAQEBAQEEAQEBAQEBAQEBAQEXjVgTgWUzBzCCcYEVBZFCgXyBcYFEgQwwhDyCAYMzOolibgEBgkEBAQE X-IronPort-AV: E=Sophos;i="5.07,551,1413237600"; d="scan'208";a="112361633" Received: from bark.recoil.org ([5.153.225.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Dec 2014 10:57:35 +0100 Received: from [192.168.1.39] (cpc7-cmbg14-2-0-cust238.5-4.cable.virginm.net [86.30.244.239]); by bark.recoil.org (OpenSMTPD) with ESMTPSA id 23d08722; TLS version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NO; Wed, 10 Dec 2014 10:03:05 +0000 (GMT) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 8.1 \(1993\)) From: Anil Madhavapeddy In-Reply-To: Date: Wed, 10 Dec 2014 09:57:36 +0000 Cc: David Allsopp , "caml-list@inria.fr" Content-Transfer-Encoding: quoted-printable Message-Id: <49AD97B5-D7E4-4265-87DA-47CF712C89ED@recoil.org> References: To: Jeremy Yallop X-Mailer: Apple Mail (2.1993) Subject: Re: [Caml-list] Thoughts on targeting windows On 9 Oct 2014, at 10:33, Jeremy Yallop wrote: >=20 > On 5 October 2014 23:14, Anil Madhavapeddy wrote: >> At a recent compiler hacking session in Cambridge, Don Syme pointed out = a great Travis-like service for running regular Windows builds called Appve= yor(.com). In order to get more familiar with the Windows toolchain, I por= ted some of Thomas Braibant's instructions for compiling OPAM on Windows us= ing it here: >>=20 >> Cygwin scripts: https://github.com/ocaml/opam/blob/master/appveyor.yml >> Build output: https://ci.appveyor.com/project/avsm/opam/build/1.0.38 >>=20 >> Appveyor can be used much like Travis and build every Git checkin on Win= dows, except that they unfortunately overwrite each other's status flags (t= he green tick or red cross against each commit), so they cannot be simultan= eously used on one GitHub repository right now. I contacted GitHub support= and they indicated that they are adding support for multiple CI tools into= the UI, but do not have a time estimate for when that would be ready. >=20 > I recently learnt of a solution to this issue: there's a third party > application which makes it possible to display both Travis and > AppVeyor build status flags on each commit: >=20 > http://help.appveyor.com/discussions/kb/4-show-multiple-statuses-in-git= hub-pull-requests An update: GitHub now supports multiple status updates, so any projects that wish to use Appveyor (Windows) and Travis (Linux/OSX) simultaneously can now do so:=20 https://github.com/blog/1935-see-results-from-all-pull-request-status-checks -anil=