X-Recipient:	archive-cygwin AT delorie DOT com
DKIM-Filter:	OpenDKIM Filter v2.11.0 sourceware.org 7AFF5383B438
DKIM-Signature:	v=1; a=rsa-sha256; c=relaxed/relaxed; d=cygwin.com;
	s=default; t=1620272240;
	bh=5srsPZyOi1x6mfe6DqPzu6zEPjD1S+6Uq7aOgOJ3swo=;
	h=Subject:To:References:Date:In-Reply-To:List-Id:List-Unsubscribe:
	List-Archive:List-Post:List-Help:List-Subscribe:From:Reply-To:
	From;
	b=yxrhQU0y96ruc4IWdqYJZ3TCKSWMEPmEwytlGbkjZPcAFs/VleEqh1wUE/ejhINLu
	syC8hBDiZj2P9yFG+/aEfwFxDySYGGumubWuGrWLywmgzzTnNOVp1M8TazPyEZYEbL
	hki1OmePcdKKojGn4gYRKgV+VyVRddBO9TR3J9j4=
X-Original-To:	cygwin AT cygwin DOT com
Delivered-To:	cygwin AT cygwin DOT com
DMARC-Filter:	OpenDMARC Filter v1.3.2 sourceware.org 93A61384F01D
X-Google-DKIM-Signature:	v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=1e100.net; s=20161025;
	h=x-gm-message-state:subject:to:references:from:message-id:date
	:user-agent:mime-version:in-reply-to:content-language
	:content-transfer-encoding;
	bh=6f1uHHKk01N6ld6Qm6Zoh7obX8mqj6mRG2qkABn972E=;
	b=a5/iWo7/dkoBKyHd5XQokfP+LROX9ennE6mz0IUOzvcA4vQBWfprUBdCI8JuaAn9Cg
	7Mx3dF8O/B5uYze91pe6fryTkff1xQvdZL+HFuUIU6Ayob0QRtS77N+3QCIAbsunVC1E
	6bEXjgSsxWNgt2STFlgK4P0LYb2rZKyV6B8kvCI3p4ZpszG7RNspJG0fIGotRmHsuOBx
	OmmWlc43C6YxUF57Pze5/nI1nKQ8rfogPddXPrr3VlMONoOsQz0ptJ8t0DS4+++fbkkw
	BfX8QfkG8LtdCVz3We3MO2OdErmg10GloSx+k2sqgicIraEXQJfbP98fIe71d0AqawEj
	L6Cg==
X-Gm-Message-State:	AOAM53023FWAGA8eZaY2sNZH0PXOXLnIZGfBCbo9tDCK1Rpso1YZnAyn
	YIhRL1to7d3fzkOf9ReuFy02PGP3TG/65Q==
X-Google-Smtp-Source:	ABdhPJwzO8ta/NQuBOC7rhgrO8IkyVEhQMnwzXPG24KG6rGblGPQpWU/dyNSsq6FGgJmeUz/iol0Aw==
X-Received:	by 2002:a17:906:3e42:: with SMTP id
	t2mr2044864eji.508.1620272236716;
	Wed, 05 May 2021 20:37:16 -0700 (PDT)
Subject:	Re: Building Coq in Cygwin
To:	cygwin AT cygwin DOT com
References:	<1b58b800-bfa3-b203-6a5f-2d53c5685d33 AT cs DOT umass DOT edu>
Message-ID:	<99e025c8-e4c8-60ba-3995-dbae9c0dc967@gmail.com>
Date:	Thu, 6 May 2021 05:37:15 +0200
User-Agent:	Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
	Thunderbird/78.10.0
MIME-Version:	1.0
In-Reply-To:	<1b58b800-bfa3-b203-6a5f-2d53c5685d33@cs.umass.edu>
X-Spam-Status:	No, score=-1.6 required=5.0 tests=BAYES_00, DKIM_SIGNED,
	DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, NICE_REPLY_A,
	RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS,
	TXREP autolearn=ham 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-Unsubscribe:	<https://cygwin.com/mailman/options/cygwin>,
	<mailto:cygwin-request AT cygwin DOT com?subject=unsubscribe>
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>
From:	Marco Atzeri via Cygwin <cygwin AT cygwin DOT com>
Reply-To:	Marco Atzeri <marco DOT atzeri AT gmail DOT com>
Errors-To:	cygwin-bounces AT cygwin DOT com
Sender:	"Cygwin" <cygwin-bounces AT cygwin DOT com>
X-MIME-Autoconverted:	from base64 to 8bit by delorie.com id 1463bMYs027431

On 06.05.2021 02:56, Eliot Moss wrote:
> 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
> 

another of those software that thinks Automake/cmake are non needed ...
usually they are a mess to port to un-forecasted platforms.

$ ./configure
       0 [main] ocamlrun 740 child_info_fork::abort: address space 
needed by 'dllunix.so' (0x400000) is already occupied
...
by 'dllunix.so' (0x400000) is already occupied
       0 [main] ocamlrun 744 child_info_fork::abort: address space 
needed by 'dllunix.so' (0x400000) is already occupied
I can not automatically find the name of your architecture.
Give me a name, please [win32 for Win95, Win98 or WinNT]:
                                   ^^ frontline technology I see


How we solve the reloc issue on 64 bit ? I am a bit ocalm rust

-- 
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 -