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 5BF0E7FFB6 for ; Tue, 15 Mar 2016 09:54:02 +0100 (CET) IronPort-PHdr: 9a23:LOp00hP6lX4535Zm5lEl6mtUPXoX/o7sNwtQ0KIMzox0KPv5rarrMEGX3/hxlliBBdydsKIbzbuJ+Pm5BCQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTokbHtsMSKPk1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvYKQ5UbFBET08MChh+83qqRTaUAKV5VMDUmQKnwNVChLGqhbgUcGinDH9s7834y6XMtHsSqhwERGj5KdiRRuiwHMCNjU5+WzTzNd3ga1HuhW5jx1534PQJoqSMawtLevmYdoGSD8ZDY5qXCtbD9bkYg== 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@mga04.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=192.55.52.120; 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 192.55.52.120 as permitted sender) identity=mailfrom; client-ip=192.55.52.120; 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@mga04.intel.com) identity=helo; client-ip=192.55.52.120; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga04.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DiAABCzedWk3g0N8BehBhtBrpXgXAZhXQCgTQ6EgEBAQEBAQEBEAEBAQEHDQkJIS+CLYIUAQEBAwE6DzAFCwIBCCIUEDIlAgQODYgVBwG8TAEBAQEBAQQBAQEBAQEBARiGG4RBhDuDK4EPBZdKBQGdBY5/JwKCTYFRaollAX0BAQE X-IPAS-Result: A0DiAABCzedWk3g0N8BehBhtBrpXgXAZhXQCgTQ6EgEBAQEBAQEBEAEBAQEHDQkJIS+CLYIUAQEBAwE6DzAFCwIBCCIUEDIlAgQODYgVBwG8TAEBAQEBAQQBAQEBAQEBARiGG4RBhDuDK4EPBZdKBQGdBY5/JwKCTYFRaollAX0BAQE X-IronPort-AV: E=Sophos;i="5.24,338,1454972400"; d="scan'208";a="207805184" Received: from mga04.intel.com ([192.55.52.120]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Mar 2016 09:53:48 +0100 Received: from orsmga003.jf.intel.com ([10.7.209.27]) by fmsmga104.fm.intel.com with ESMTP; 15 Mar 2016 01:53:48 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.24,338,1455004800"; d="scan'208";a="764373415" Received: from irsmsx104.ger.corp.intel.com ([163.33.3.159]) by orsmga003.jf.intel.com with ESMTP; 15 Mar 2016 01:53:46 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.19]) by IRSMSX104.ger.corp.intel.com ([169.254.5.87]) with mapi id 14.03.0248.002; Tue, 15 Mar 2016 08:53:45 +0000 From: "Soegtrop, Michael" To: whitequark CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] [ANN] opam-cross-windows Thread-Index: AQHRfQcnL3qx1MXozUW6USK1aW7fsZ9aKvpggAAGbICAAALowA== Date: Tue, 15 Mar 2016 08:53:44 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CEA7748@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CEA76CE@IRSMSX102.ger.corp.intel.com> <921db39a51df11567295fcbbb1e6b394@whitequark.org> In-Reply-To: <921db39a51df11567295fcbbb1e6b394@whitequark.org> 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, > Since Cygwin is striving to present a Unix-like environment, those > assumptions would not hold. So I don't think opam-cross-windows will work > on Cygwin, sorry. > Note that opam-cross-windows uses a toolchain that targets plain Win32 API > without using any kind of POSIX emulation such as MSYS or Cygwin. I talked about cross compiling for MinGW under cygwin. This should be fairl= y similar to cross compiling for MinGW under Unix. The Ocaml compiler creat= ed by my scripts runs on plain windows (without cygwin installed) and also = creates executables for such systems. I use cygwin just as a build environm= ent. Ideally I would like to have an opam running on plain windows, but I think = an Opam running on cygwin but creating plain windows tools might be a good = compromise between usability and maintainability.=20 =20 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