From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mailsrv.cs.umass.edu (mailsrv.cs.umass.edu [128.119.240.136]) by sourceware.org (Postfix) with ESMTPS id 9B50F385041E for ; Thu, 6 May 2021 00:56:21 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 9B50F385041E Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=cs.umass.edu Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=moss@cs.umass.edu Received: from [192.168.50.218] (c-24-62-201-179.hsd1.ma.comcast.net [24.62.201.179]) by mailsrv.cs.umass.edu (Postfix) with ESMTPSA id 5E44C4037681; Wed, 5 May 2021 20:56:20 -0400 (EDT) Reply-To: moss@cs.umass.edu To: cygwin From: Eliot Moss Subject: Building Coq in Cygwin Message-ID: <1b58b800-bfa3-b203-6a5f-2d53c5685d33@cs.umass.edu> Date: Wed, 5 May 2021 20:56:21 -0400 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101 Thunderbird/68.12.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS, PDS_TONAME_EQ_TOLOCAL_SHORT, RCVD_IN_DNSWL_LOW, SPF_HELO_NONE, 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 00:56:22 -0000 Folks - Before I try to Coq mailing lists, I am wondering if anyone here has had success building Coq under Cygwin. I've tried the dune and the make approaches, and both fail, in different ways, but seemingly because some components can't deal with the uniquenesses of Cygwin - though they seem to try to provide for it. Regards - Eliot