X-Recipient:	archive-cygwin AT delorie DOT com
X-Original-To:	cygwin AT cygwin DOT com
Delivered-To:	cygwin AT cygwin DOT com
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 AT cs DOT umass DOT edu
To:	cygwin <cygwin AT cygwin DOT com>
From:	Eliot Moss <moss AT cs DOT umass DOT edu>
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
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 AT cygwin DOT com
X-Mailman-Version:	2.1.29
List-Id:	General Cygwin discussions and problem reports <cygwin.cygwin.com>
List-Archive:	<https://cygwin.com/pipermail/cygwin/>
List-Post:	<mailto:cygwin AT cygwin DOT com>
List-Help:	<mailto:cygwin-request AT cygwin DOT com?subject=help>
List-Subscribe:	<https://cygwin.com/mailman/listinfo/cygwin>,
	<mailto:cygwin-request AT cygwin DOT com?subject=subscribe>
Reply-To:	moss AT cs DOT umass DOT edu
Sender:	"Cygwin" <cygwin-bounces AT cygwin DOT com>

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

-- 
Problem reports:      https://cygwin.com/problems.html
FAQ:                  https://cygwin.com/faq/
Documentation:        https://cygwin.com/docs.html
Unsubscribe info:     https://cygwin.com/ml/#unsubscribe-simple

- Raw text -