Xen project Mailing List

Re: [MirageOS-devel] AppveyorCI scripts (Windows CI)

To: Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>

From: David Scott <scott.dj@xxxxxxxxx>

Date: Wed, 2 Mar 2016 23:21:56 +0000

Cc: mirageos-devel <mirageos-devel@xxxxxxxxxxxxxxxxxxxx>

Delivery-date: Wed, 02 Mar 2016 23:22:10 +0000

List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

On Wed, Mar 2, 2016 at 4:59 PM, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:

Hi all,

following what I said in the MirageOS call, I’ve written some instructions to easily test packages on Windows, using Appveyor CI:

https://github.com/ocaml/ocaml-ci-scripts/blob/master/README-appveyor.md

It is using the great windows distribution done by fdopen[1] and can surely be improved in many ways (including running tests after enabling windows symlinks[2]). One nice addition would be to compile and call yorik, the script that we already use to parametrise the tests we do on TravisCI (with depots, revdeps, etc).

btw, most of the Mirage packages that I tried just built and worked fine (including Git and Irmin), but not io-page[3] because of `posix_memalign`.

Challenge accepted ;-)

The build at least is fixed by https://github.com/djs55/io-page/commit/67b19aaa57b4438e02e79b615a92d3b77ef1926a

Hopefully this will be in io-page.1.6.0.

Cheers,

Dave

Best,
Thomas

[1] https://fdopen.github.io/opam-repository-mingw/
[2] https://github.com/fdopen/opam-repository-mingw/blob/master/README.md#things-to-remember
[3] https://github.com/mirage/io-page/issues/26

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

Dave Scott

_______________________________________________ MirageOS-devel mailing list MirageOS-devel@xxxxxxxxxxxxxxxxxxxx http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel