From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mout.kundenserver.de (mout.kundenserver.de [212.227.126.135]) by sourceware.org (Postfix) with ESMTPS id 0748D3858C54 for ; Wed, 24 Aug 2022 10:04:21 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 0748D3858C54 Authentication-Results: sourceware.org; dmarc=fail (p=none dis=none) header.from=cygwin.com Authentication-Results: sourceware.org; spf=fail smtp.mailfrom=cygwin.com Received: from calimero.vinschen.de ([24.134.7.25]) by mrelayeu.kundenserver.de (mreue011 [212.227.15.167]) with ESMTPSA (Nemesis) id 1MJmX3-1okFwL35U9-00K9CM; Wed, 24 Aug 2022 12:04:20 +0200 Received: by calimero.vinschen.de (Postfix, from userid 500) id 14425A8088B; Wed, 24 Aug 2022 12:04:20 +0200 (CEST) Date: Wed, 24 Aug 2022 12:04:20 +0200 From: Corinna Vinschen To: David Allsopp Cc: "cygwin-apps@cygwin.com" Subject: Re: [ITA] ocaml 4.14.0 Message-ID: Reply-To: cygwin-apps@cygwin.com Mail-Followup-To: David Allsopp , "cygwin-apps@cygwin.com" References: <7468d799ca644985a1b8f3c4d104b9a6@metastack.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: X-Provags-ID: V03:K1:D1PxN10vBI3fEAtBAJWqHoI+HAHc5GA2ClcO1Tf45v45WjhRbde J2Znk+j0qWsGUDzIi/vpk41EV8wZGWWks/hj6wB8HW2O+yzKpcc0NJSGPLqWgKs8fvqqemM vyooXQqXgjxYsD1atpSVTRV7yK/KfEuavJ0cFXrTBl+5mzD1l/IqdWLsWdAz5bETxX5imEL F8JgbdaZwJh3U9bvbGvsQ== X-UI-Out-Filterresults: notjunk:1;V03:K0:noxHiBkbhNo=:fJmkpLOUSG3Z8g9mlysqGc /YEAlAtwO87CWeamsZhLDRZhtgmIY4YqsPcMDZxupdakZpWcwFUdBg4aDwjGcTbpOiHf4UZ+2 TqR2tuo8BcreRtCJxIgqO5UapePNnNPa0WAy8UnKYFJ1FWXEiNxLIU86XJRMszPsfPVTNblu0 HIyRllBHhlAMXoXlj4284uHae47G7DDmtIvJ/F98nn8gWlq4dQgZeneNsgOB3jbT+AB/akJlI HV9aUH6MPnhFh9fmZC5WD8o+HNbolOgycidWSO37GSVKqUB3TpEN9QJ/hDt1FAIf8k2niCc6u V48/HChqYee3lMtECPDncxLuQC6tHcbzbOqgu2DixnVZwqXEXJcUoxhtwVBrAbINk/sDPoEPY DGY1vpC4MXsrAtCuNow2uiQJUn2Vdx5DZhtUJrg4ht2FZHvkGgykCN+OUwIW13aNhzuh4fy8D PSjWAK4C8kKEhX7PIJc59mu8rrfzkh7oZN1jbcziYDNq++j2QdZ+BZronIWWzCEJ6jFAcJTXC GoDrqFvHBAWJiNGJwpCOVDhqGHQ//SCSQ3NoRZGLaBMyJWyE7D9BjJuOaoKvqJNCCg09qY7Xt 4NHI9Qll0ZKcaVbrr1YecPJvFCXb/nvDKGNJqpfdurqQIbum6LXDYVZN6ulgEzCAyhFccAoKa S82nwSrgjmELCgptoLEE8TYfJ+mW4wp+HZrdHuTlSbKDZp2IdjO3GyE4J2bpbu3IecDMG9PPq 728Vq6tCbeTtm8aqiOk9qPbg+lLEefFoXPw5CyAVYpbm3Ld0sWajz6ZX74w= X-Spam-Status: No, score=-95.5 required=5.0 tests=BAYES_00,GOOD_FROM_CORINNA_CYGWIN,KAM_DMARC_NONE,KAM_DMARC_STATUS,KAM_NUMSUBJECT,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_FAIL,SPF_HELO_NONE,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On Aug 24 09:28, David Allsopp wrote: > Corinna Vinschen wrote: > > On Aug 23 20:00, David Allsopp wrote: > > > Jon Turney wrote: > > > > 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...) > > > > > > ocamlc won't care about the executable bit, but these files are _data_ > > > and so it will care if they end up with a .exe extension, because they > > > are open'd not exec'd. > > > > > > The files themselves form the start of executables produced by ocamlc. > > > For both Cygwin and native Windows, it's a tiny C program responsible > > > for locating ocamlrun (on Unix, it's just a shebang line) and the > > > bytecode itself gets appended. > > > > Why is ocaml for Cygwin not produing shebang files as well? After all, > > we're trying to be as Unix-compatible as possible. > > I'm not 100% that this is the correct history, but I think it's down > to being able to start the programs from outside a Cygwin bash prompt > - i.e. the programs emitted want to have a .exe by default and it's > strange to have ".exe" files with a shebang header (at least from > outside Cygwin). > > This part of OCaml is actually old enough (late nineties) that this > executable was also used on "real" Unix systems where shebang didn't > work properly :) > > It is possible to configure Cygwin OCaml to use shebang headers > (although at the moment only by changing Makefile.config after running > configure) That would be nice, actually, together with dropping the .exe suffix, perhaps. Dunno about others, but I'd prefer to have ocaml scripts w/o exe prefix and working OOTB on other Unixoid systems in the first place. Thanks, Corinna