From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from re-prd-fep-043.btinternet.com (mailomta12-re.btinternet.com [213.120.69.105]) by sourceware.org (Postfix) with ESMTPS id D59B13858C56 for ; Sat, 16 Jul 2022 14:22:24 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org D59B13858C56 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-002.btmx-prd.synchronoss.net ([10.2.54.5]) by re-prd-fep-043.btinternet.com with ESMTP id <20220716142223.KJNL3055.re-prd-fep-043.btinternet.com@re-prd-rgout-002.btmx-prd.synchronoss.net>; Sat, 16 Jul 2022 15:22:23 +0100 Authentication-Results: btinternet.com; auth=pass (PLAIN) smtp.auth=jonturney@btinternet.com; bimi=skipped X-SNCR-Rigid: 613A8DE82F7F25B9 X-Originating-IP: [86.144.41.14] X-OWM-Source-IP: 86.144.41.14 (GB) X-OWM-Env-Sender: jonturney@btinternet.com X-VadeSecure-score: verdict=clean score=0/300, class=clean X-RazorGate-Vade: gggruggvucftvghtrhhoucdtuddrgedvfedrudekfedgjeejucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecuueftkffvkffujffvgffngfevqffopdfqfgfvnecuuegrihhlohhuthemuceftddunecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpefkffggfgfuvfhfhfgjtgfgsehtjeertddtfeejnecuhfhrohhmpeflohhnucfvuhhrnhgvhicuoehjohhnrdhtuhhrnhgvhiesughrohhnvggtohguvgdrohhrghdruhhkqeenucggtffrrghtthgvrhhnpefgledugfeghfetteeuleeiledtudefveeiudeigfduleeukedtueetffetvdehjeenucffohhmrghinhepghhithhhuhgsrdgtohhmnecukfhppeekiedrudeggedrgedurddugeenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhephhgvlhhopegludelvddrudeikedruddruddthegnpdhinhgvthepkeeirddugeegrdeguddrudegpdhmrghilhhfrhhomhepjhhonhdrthhurhhnvgihsegurhhonhgvtghouggvrdhorhhgrdhukhdpnhgspghrtghpthhtohepfedprhgtphhtthhopeffrghvihgurdetlhhlshhophhpsegtlhdrtggrmhdrrggtrdhukhdprhgtphhtthhopegthihgfihinhdqrghpphhssegthihgfihinhdrtghomhdprhgtphhtthhopehpuhhrphhlvggrrhhmrgguihhllhhojeejsehprhhothhonhdrmhgv X-RazorGate-Vade-Verdict: clean 0 X-RazorGate-Vade-Classification: clean Received: from [192.168.1.105] (86.144.41.14) by re-prd-rgout-002.btmx-prd.synchronoss.net (5.8.716.04) (authenticated as jonturney@btinternet.com) id 613A8DE82F7F25B9; Sat, 16 Jul 2022 15:22:23 +0100 Message-ID: Date: Sat, 16 Jul 2022 15:22:21 +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 , David Allsopp , "cygwin-apps@cygwin.com" References: <452a0d68-1caf-e618-9107-af1b66366142@dronecode.org.uk> 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 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: Sat, 16 Jul 2022 14:22:26 -0000 On 13/07/2022 16:41, David Allsopp wrote: > >> 3) Interesting - on my machine, the camlheader[di] files had the .exe >> extensions. I did some digging around and found the files are *built* >> without the .exe suffix, and even *initially installed* without the .exe >> suffix, but ultimately come out with the .exe suffix. I ran cyport in >> debug mode and apparently the files are being renamed with the suffix >> post-install: >> >> + case "${exe##*/}" in >> + mv usr/lib/ocaml/camlheaderd usr/lib/ocaml/camlheaderd.exe >> + exe+=.exe >> >> and did a little more digging and I think these lines in cygport are the >> cause: >> https://github.com/cygwin/cygport/blob/096f27644bd3b28f29d7522e816bebd327c >> f24cb/lib/src_postinst.cygpart#L1010 Yeah, that seems plausible, but I'm not clear why we are seeing different behaviour... >> On the topic of "testing more thoroughly", I attempted to use >> ocamlc to compile a simple program and it fails with "Cannot find >> file camlheader" but works when I remove the ".exe", so it seems >> that the presence of the .exe suffixes breaks the compiler. Is >> there a way to prevent cygport from adding it? > > The camlheader files are data files and definitely mustn't be > installed with a .exe extension (nor do they need to be executable). I'm confused here: /usr/lib/ocaml/camlheaderd[di] look like executables (according to file etc.) If they genuinely aren't, then perhaps they shouldn't have execute permission (which is I think what is causing them to be caught by that piece of code in cygport...)