From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ej1-x636.google.com (mail-ej1-x636.google.com [IPv6:2a00:1450:4864:20::636]) by sourceware.org (Postfix) with ESMTPS id 93A61384F01D for ; Thu, 6 May 2021 03:37:17 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 93A61384F01D Received: by mail-ej1-x636.google.com with SMTP id w3so6111123ejc.4 for ; Wed, 05 May 2021 20:37:17 -0700 (PDT) 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) Received: from ?IPv6:2003:cc:9f04:e3ba:b17e:2a44:1956:1471? (p200300cc9f04e3bab17e2a4419561471.dip0.t-ipconnect.de. [2003:cc:9f04:e3ba:b17e:2a44:1956:1471]) by smtp.gmail.com with ESMTPSA id u13sm630807edq.55.2021.05.05.20.37.16 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 05 May 2021 20:37:16 -0700 (PDT) Subject: Re: Building Coq in Cygwin To: cygwin@cygwin.com References: <1b58b800-bfa3-b203-6a5f-2d53c5685d33@cs.umass.edu> From: Marco Atzeri 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> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit 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@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 03:37:18 -0000 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