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 9FE2D7FFB6 for ; Tue, 15 Mar 2016 09:26:58 +0100 (CET) IronPort-PHdr: 9a23:PBq6ShfMh3PChiAT4B3+PwFUlGMj4u6mDksu8pMizoh2WeGdxc+7YR7h7PlgxGXEQZ/co6odzbGG7OaxBidZuMzJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuCPE4R3WD1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GKNYDSgrKn08/s6j4QbDTBeC/2YVSGY+jRpJHwXc8RjgXdH2qCSs8qI30yCfOYjyTKsocTWk9aZiDhHywm9TPDc89CTTi9dspKNduhOo4RJlld36eoaQYbBFea7SYckdXS4Je8daVyVMBsn0O44OBOoIMOIetI7wqEcUqgOWBA+wCeepwThN0CyllZYm2vgsRFmVlDcrGMgD5SzZ Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga02.intel.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=134.134.136.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.soegtrop@intel.com designates 134.134.136.20 as permitted sender) identity=mailfrom; client-ip=134.134.136.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mga02.intel.com) identity=helo; client-ip=134.134.136.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga02.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DiAAAkxudWkxSIhoZdhBhtBrxHGYV0AoEzOxEBAQEBAQEBARABAQEBBw0JCSEvgi2CFAEBAQMBOg81CwIBCCIUEDIXAQ0CBAEaiBUHAbweAQEBBwEBAQEBG4YbhEGEO4MrgQ8Fl0oFAZ0Fjn82gi8RCIFJaollAX0BAQE X-IPAS-Result: A0DiAAAkxudWkxSIhoZdhBhtBrxHGYV0AoEzOxEBAQEBAQEBARABAQEBBw0JCSEvgi2CFAEBAQMBOg81CwIBCCIUEDIXAQ0CBAEaiBUHAbweAQEBBwEBAQEBG4YbhEGEO4MrgQ8Fl0oFAZ0Fjn82gi8RCIFJaollAX0BAQE X-IronPort-AV: E=Sophos;i="5.24,338,1454972400"; d="scan'208";a="207799137" Received: from mga02.intel.com ([134.134.136.20]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Mar 2016 09:26:56 +0100 Received: from fmsmga004.fm.intel.com ([10.253.24.48]) by orsmga101.jf.intel.com with ESMTP; 15 Mar 2016 01:26:54 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.24,338,1455004800"; d="scan'208";a="66562515" Received: from irsmsx151.ger.corp.intel.com ([163.33.192.59]) by fmsmga004.fm.intel.com with ESMTP; 15 Mar 2016 01:26:53 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.19]) by IRSMSX151.ger.corp.intel.com ([169.254.4.72]) with mapi id 14.03.0248.002; Tue, 15 Mar 2016 08:26:53 +0000 From: "Soegtrop, Michael" To: whitequark , "caml-list@inria.fr" Thread-Topic: [Caml-list] [ANN] opam-cross-windows Thread-Index: AQHRfQcnL3qx1MXozUW6USK1aW7fsZ9aKvpg Date: Tue, 15 Mar 2016 08:26:52 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CEA76CE@IRSMSX102.ger.corp.intel.com> References: In-Reply-To: Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.182] Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] [ANN] opam-cross-windows Dear Whitequark, > I've released opam-cross-windows[1], a 4.02.3 OCaml toolchain in the spir= it > of opam-cross-android[2] (ex opam-android). Do you think there are good chances that this also works for cross compilin= g for MinGW on cygwin. Or asked in another way: are there known reasons why this shouldn't work? I made some scripts to compile things like GTK, pango, cairo, ocaml, menhir= , Coq, CoqIDE, ... for MinGW on cygwin and also to setup cygwin with the re= quired packages automatically in a reproducible way. A MinGW cross Opam for= cygwin would be the logical next step. Together with my scripts this might= be a reproducible and maintainable way to compile and setup ocaml and requ= ired libraries on Windows. One more question: on Windows there is (or was) a circular dependency betwe= en flexdll and Ocaml. One of the two needs to be installed in binary form. = Did you also run into this issue? If so, how did you solve it? Btw: I also experimented with MSys, MSys2 instead of cygwin, but found that= cross compiling mayn packages for for MinGW under cygwin is easier than un= der MSys, MSys2. 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