From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from e2i484.smtp2go.com (e2i484.smtp2go.com [103.2.141.228]) by sourceware.org (Postfix) with ESMTPS id 476BB388E836 for ; Thu, 6 May 2021 12:22:04 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 476BB388E836 Received: from [10.139.162.187] (helo=SmtpCorp) by smtpcorp.com with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92-S2G) (envelope-from ) id 1led10-TRk4rH-To for cygwin@cygwin.com; Thu, 06 May 2021 12:22:02 +0000 Received: from [10.62.31.23] (helo=romulus.metastack.com) by smtpcorp.com with esmtpsa (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92-S2G) (envelope-from ) id 1led10-4XaB1n-JI for cygwin@cygwin.com; Thu, 06 May 2021 12:22:02 +0000 Received: from remus.metastack.local (usr233-bra.static.cable.virginmedia.com [62.31.23.243] (may be forged)) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 146CLwlt030871 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Thu, 6 May 2021 13:21:58 +0100 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2176.2; Thu, 6 May 2021 13:22:25 +0100 Received: from Hermes.metastack.local ([fe80::210d:d258:cd04:7b5a]) by Hermes.metastack.local ([fe80::210d:d258:cd04:7b5a%3]) with mapi id 15.01.2176.012; Thu, 6 May 2021 13:22:25 +0100 From: David Allsopp To: "cygwin@cygwin.com" Subject: RE: Building Coq in Cygwin Thread-Topic: Building Coq in Cygwin Thread-Index: AQHXQlX6ZxJY5nrIUUahdRzBzQTlH6rWUlVQ Date: Thu, 6 May 2021 12:22:25 +0000 Message-ID: References: <1b58b800-bfa3-b203-6a5f-2d53c5685d33@cs.umass.edu> <99e025c8-e4c8-60ba-3995-dbae9c0dc967@gmail.com> In-Reply-To: <99e025c8-e4c8-60ba-3995-dbae9c0dc967@gmail.com> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.0.125] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-Scanned-By: MIMEDefang 2.65 on 62.31.23.242 X-Smtpcorp-Track: 1_-d104baU1nJm.k29rXr1NZyEs2 Feedback-ID: 614951m:614951apMmpqs:614951sCPXoAq0dE X-Report-Abuse: Please forward a copy of this message, including all headers, to X-Spam-Status: No, score=-1.7 required=5.0 tests=BAYES_00, DKIMWL_WL_MED, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_EF, HEADER_FROM_DIFFERENT_DOMAINS, SPF_HELO_PASS, SPF_PASS, TXREP autolearn=no autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: cygwin@cygwin.com X-Mailman-Version: 2.1.29 Precedence: list List-Id: General Cygwin discussions and problem reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 06 May 2021 12:22:05 -0000 TWFyY28gQXR6ZXJpIHdyb3RlOg0KPiBPbiAwNi4wNS4yMDIxIDAyOjU2LCBFbGlvdCBNb3NzIHdy b3RlOg0KPiA+IEZvbGtzIC0gQmVmb3JlIEkgdHJ5IHRvIENvcSBtYWlsaW5nIGxpc3RzLCBJIGFt IHdvbmRlcmluZyBpZiBhbnlvbmUNCj4gPiBoZXJlIGhhcyBoYWQgc3VjY2VzcyBidWlsZGluZyBD b3EgdW5kZXIgQ3lnd2luLsKgIEkndmUgdHJpZWQgdGhlIGR1bmUNCj4gPiBhbmQgdGhlIG1ha2Ug YXBwcm9hY2hlcywgYW5kIGJvdGggZmFpbCwgaW4gZGlmZmVyZW50IHdheXMsIGJ1dA0KPiA+IHNl ZW1pbmdseSBiZWNhdXNlIHNvbWUgY29tcG9uZW50cyBjYW4ndCBkZWFsIHdpdGggdGhlIHVuaXF1 ZW5lc3NlcyBvZg0KPiA+IEN5Z3dpbiAtIHRob3VnaCB0aGV5IHNlZW0gdG8gdHJ5IHRvIHByb3Zp ZGUgZm9yIGl0Lg0KPiA+DQo+ID4gUmVnYXJkcyAtIEVsaW90DQo+ID4NCj4gDQo+IGFub3RoZXIg b2YgdGhvc2Ugc29mdHdhcmUgdGhhdCB0aGlua3MgQXV0b21ha2UvY21ha2UgYXJlIG5vbiBuZWVk ZWQgLi4uDQo+IHVzdWFsbHkgdGhleSBhcmUgYSBtZXNzIHRvIHBvcnQgdG8gdW4tZm9yZWNhc3Rl ZCBwbGF0Zm9ybXMuDQoNClRoaXMgaGFzIG5vdGhpbmcgdG8gZG8gd2l0aCB0aGUgYnVpbGQgc3lz dGVtcyBvZiB0aGVzZSBwYWNrYWdlcyBhbmQNCmV2ZXJ5dGhpbmcgdG8gZG8gd2l0aCB0aGUgZmFj dCB0aGUgb2NhbWwgb24gQ3lnd2luNjQgaGFzIGJlZW4gYnJva2VuIGZvciBhIHdoaWxlLi4uDQoN Cj4gJCAuL2NvbmZpZ3VyZQ0KPiAgICAgICAgMCBbbWFpbl0gb2NhbWxydW4gNzQwIGNoaWxkX2lu Zm9fZm9yazo6YWJvcnQ6IGFkZHJlc3Mgc3BhY2UgbmVlZGVkDQo+IGJ5ICdkbGx1bml4LnNvJyAo MHg0MDAwMDApIGlzIGFscmVhZHkgb2NjdXBpZWQgLi4uDQo+IGJ5ICdkbGx1bml4LnNvJyAoMHg0 MDAwMDApIGlzIGFscmVhZHkgb2NjdXBpZWQNCj4gICAgICAgIDAgW21haW5dIG9jYW1scnVuIDc0 NCBjaGlsZF9pbmZvX2Zvcms6OmFib3J0OiBhZGRyZXNzIHNwYWNlIG5lZWRlZA0KPiBieSAnZGxs dW5peC5zbycgKDB4NDAwMDAwKSBpcyBhbHJlYWR5IG9jY3VwaWVkIEkgY2FuIG5vdCBhdXRvbWF0 aWNhbGx5DQo+IGZpbmQgdGhlIG5hbWUgb2YgeW91ciBhcmNoaXRlY3R1cmUuDQo+IEdpdmUgbWUg YSBuYW1lLCBwbGVhc2UgW3dpbjMyIGZvciBXaW45NSwgV2luOTggb3IgV2luTlRdOg0KPiAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIF5eIGZyb250bGluZSB0ZWNobm9sb2d5IEkg c2VlDQoNCjopIEFtdXNpbmdseSwgdGhlIGdpdCBoaXN0b3J5IHNob3dzIGl0IGhhcyBiZWVuIHBy ZXNlcnZlZCB0aHJvdWdoIHVwZGF0ZXMgMTMgYW5kIDggeWVhcnMgYWdvLA0KYnV0IHRoZSBsaW5l IHdhcyBvcmlnaW5hbGx5IHdyaXR0ZW4gaW4gMTk5OS4gTWF0dXJlIGFuZCAoZm9ybWFsbHkpIHBy b3ZlbiBpcyBwb3NzaWJseSB0aGUNCmRlc2NyaXB0aW9uIHRoZSBDb3EgdGVhbSBtaWdodCBwcmVm ZXIhDQoNCj4gSG93IHdlIHNvbHZlIHRoZSByZWxvYyBpc3N1ZSBvbiA2NCBiaXQgPyBJIGFtIGEg Yml0IG9jYWxtIHJ1c3QNCg0KSSBmaXhlZCB0aGUgdW5kZXJseWluZyBwcm9ibGVtIGluIE9DYW1s IDQuMTIsIGJ1dCBJIGhhdmVuJ3QgaGFkIHRpbWUgdG8gcHJvcG9zZQ0KYWRvcHRpbmcgdGhlIEN5 Z3dpbiBwYWNrYWdlcyB5ZXQgLSBJJ20gaG9waW5nIHRvIG92ZXIgdGhlIG5leHQgZmV3IG1vbnRo cy4NCg0KVGhlIHNob3J0LXRlcm0gd29ya2Fyb3VuZCBpcyBlaXRoZXIgdG8gdXNlIEN5Z3dpbjMy IG9yIHRvIGluc3RhbGwgdGhlIG9wYW0sIGxpYmdtcC1kZXZlbCBhbmQNCmZsZXhkbGwgMC4zOSBw YWNrYWdlcyBhbmQgcnVuOg0KDQogIG9wYW0gaW5pdA0KICBvcGFtIHN3aXRjaCAteSBjcmVhdGUg Y29xIG9jYW1sLWJhc2UtY29tcGlsZXIuNC4xMi4wDQogICMgVGhpcyB0YWtlcyBhIGxvb29uZyB0 aW1lLCBlc3BlY2lhbGx5IHRoZSAibWFrZSBpbnN0YWxsIiBzdGVwDQogIG9wYW0gaW5zdGFsbCAt eSBjb3ENCiAgZXZhbCAkKG9wYW0gZW52KQ0KICBjb3F0b3ANCiAgUXVpdC4NCg0KKE5CIGZsZXhk bGwgMC4zOSBtdXN0IGJlIHNlbGVjdGVkIG1hbnVhbGx5IG9yIHVzaW5nIHRoZSBuZXcgZmxleGRs bD0wLjM5LTEgc3ludGF4IG9uIHRoZSBjb21tYW5kIGxpbmUsDQphcyBJJ3ZlIGxlZnQgaXQgbWFy a2VkIHRlc3QgdW50aWwgb2NhbWwgNC4xMiBpcyBwYWNrYWdlZCkNCg0KSFRILA0KDQoNCkRhdmlk DQo=