From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from re-prd-fep-043.btinternet.com (mailomta31-re.btinternet.com [213.120.69.124]) by sourceware.org (Postfix) with ESMTPS id B87003858280 for ; Tue, 5 Jul 2022 19:44:37 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org B87003858280 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=dronecode.org.uk Authentication-Results: sourceware.org; spf=none smtp.mailfrom=dronecode.org.uk Received: from re-prd-rgout-004.btmx-prd.synchronoss.net ([10.2.54.7]) by re-prd-fep-043.btinternet.com with ESMTP id <20220705194436.VVYK3055.re-prd-fep-043.btinternet.com@re-prd-rgout-004.btmx-prd.synchronoss.net>; Tue, 5 Jul 2022 20:44:36 +0100 Authentication-Results: btinternet.com; auth=pass (PLAIN) smtp.auth=jonturney@btinternet.com; bimi=skipped X-SNCR-Rigid: 613A901C2D720D78 X-Originating-IP: [86.139.167.41] X-OWM-Source-IP: 86.139.167.41 (GB) X-OWM-Env-Sender: jonturney@btinternet.com X-VadeSecure-score: verdict=clean score=0/300, class=clean X-RazorGate-Vade: gggruggvucftvghtrhhoucdtuddrgedvfedrudeiuddgudeghecutefuodetggdotefrodftvfcurfhrohhfihhlvgemuceutffkvffkuffjvffgnffgvefqofdpqfgfvfenuceurghilhhouhhtmecufedtudenucenucfjughrpefkffggfgfuvfhfhfgjtgfgsehtjeertddtfeejnecuhfhrohhmpeflohhnucfvuhhrnhgvhicuoehjohhnrdhtuhhrnhgvhiesughrohhnvggtohguvgdrohhrghdruhhkqeenucggtffrrghtthgvrhhnpeehudeuveeujeeujeegueefhedttdekvedtudeileefteetfeefjeejudekfefggfenucffohhmrghinheptgihghifihhnrdgtohhmnecukfhppeekiedrudefledrudeijedrgedunecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehhvghloheplgduledvrdduieekrddurddutdehngdpihhnvghtpeekiedrudefledrudeijedrgedupdhmrghilhhfrhhomhepjhhonhdrthhurhhnvgihsegurhhonhgvtghouggvrdhorhhgrdhukhdpnhgspghrtghpthhtohepvddprhgtphhtthhopegthihgfihinhdqrghpphhssegthihgfihinhdrtghomhdprhgtphhtthhopehpuhhrphhlvggrrhhmrgguihhllhhojeejsehprhhothhonhdrmhgv X-RazorGate-Vade-Verdict: clean 0 X-RazorGate-Vade-Classification: clean Received: from [192.168.1.105] (86.139.167.41) by re-prd-rgout-004.btmx-prd.synchronoss.net (5.8.716.04) (authenticated as jonturney@btinternet.com) id 613A901C2D720D78; Tue, 5 Jul 2022 20:44:36 +0100 Message-ID: <452a0d68-1caf-e618-9107-af1b66366142@dronecode.org.uk> Date: Tue, 5 Jul 2022 20:44:36 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.11.0 Subject: Re: [ITA] ocaml 4.14.0 Content-Language: en-GB To: William Hu , "cygwin-apps@cygwin.com" References: From: Jon Turney In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-3570.3 required=5.0 tests=BAYES_00, FORGED_SPF_HELO, KAM_DMARC_STATUS, KAM_LAZY_DOMAIN_SECURITY, KAM_NUMSUBJECT, NICE_REPLY_A, RCVD_IN_DNSWL_NONE, SPF_HELO_PASS, SPF_NONE, TXREP, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: cygwin-apps@cygwin.com X-Mailman-Version: 2.1.29 Precedence: list List-Id: Cygwin package maintainer discussion list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 05 Jul 2022 19:44:39 -0000 On 05/07/2022 01:42, William Hu via Cygwin-apps wrote: > Hi Jon, > > Oops, sorry about that. The patch and updated cygport are now attached. > Sending SSH key shortly. Thanks. Firstly, I notice that you dropped 4.10.0-libcamlrun_shared.patch. Can you explain the reasoning behind that? (After a bit of digging, I found this mail https://cygwin.com/pipermail/cygwin/2010-October/191524.html which explains the rationale behind it) Next, when I try to build this: on x86: > checking whether fma works... no > configure: error: fma does not work, enable emulation with --enable-imprecise-c99-float-ops I guess perhaps that configure option needs to be conditionally used on x86? >>>> ocaml-runtime-4.14.0-1.tar.xz > usr/bin/ocamlrun.exe > usr/bin/ocamlrund.exe > usr/bin/ocamlruni.exe > tar: usr/lib/ocaml/camlheader[di].exe: Cannot stat: No such file or directory [...] > tar: Exiting with failure status due to previous errors > *** ERROR: Binary package creation failed: ocaml-runtime camlheader[di] are made without the .exe extensions (you've changed the cygport to add the exe, so maybe this was wrong before as they are executables) I'm not sure if that's a missing bit of patching or something different in your environment? > $ cygport ocaml.cygport test >>>> Testing ocaml-4.14.0-1.x86_64 > Makefile:162: *** ocamltest not found in ../ocamltest. Stop. > make: *** [Makefile:156: all] Error 2 > *** ERROR: make failed Seems like this requires the --enable-ocamltest configure option?