From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pf1-x42c.google.com (mail-pf1-x42c.google.com [IPv6:2607:f8b0:4864:20::42c]) by sourceware.org (Postfix) with ESMTPS id 20D743858D3C for ; Sat, 4 Nov 2023 23:28:31 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 20D743858D3C Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=googlemail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=googlemail.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 20D743858D3C Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::42c ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699140514; cv=none; b=q+wA65Jrw/hACQWNISpxAV3zVQEHhxVTy0LeWjEIzzsGehkgZ078UZoL5Nn997BYyPWxrFUPhSdwKR8vVZaanqscRfl9MERgQhgr1qtSsaZapDzu+rANNu+3VPMHLJYWKwD3IDCoo6urxfUmAsMcNG8ctZhUF2MgNWSzxTcS02E= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699140514; c=relaxed/simple; bh=MBHAwpLFy1wfoy1+U//XRN8VSVQT58Q28ub06bs+19o=; h=DKIM-Signature:Mime-Version:Subject:From:Date:Message-Id:To; b=idP95f0iet/6pEwaAgHFw9nnuHEy/LgVG3xYjAv0Q9FkiQccnL6GzX95iMK3yRZ5XRhoDS7+anDzHErHOLkpIv1CD8V4GDZLGj8zFb3l0q9ougiPR6crv92uUNoNnkNxEOM8fpqb8az7RtC3Jd6dzw/CtkCFBBRtUI0Agh6gCgk= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-pf1-x42c.google.com with SMTP id d2e1a72fcca58-6b77ab73c6fso2592330b3a.1 for ; Sat, 04 Nov 2023 16:28:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20230601; t=1699140510; x=1699745310; darn=gcc.gnu.org; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=r8VZpS9xEzHMmmrQnh6IQ/sKT3jJbCQy3757ls41HHk=; b=NKKFd/Ga0fpu+SjALZScdFjB0yHNpcHbzF6G0qxudc0B3n++vKQDENMXB1tV8lqW6j BMPdUfIUMg4HLLXrFjMMOWe8UNe2HU2l1In7XV3woRH6MIVwX3HQ/PL57jsYJnomn2oq d+G/rYxLwt6zkfYYESRI8de9Hygo68LXAX9wXjTejqXQNTSluh2HYPtvjTvUF3guqE4b VQ3ZajmFfYANaWgQpiAVZiWY7IiP2C+gIiwFkHLvhK5hRU42JDdb/dWCgI4cf9TXLZfT h7nWPObInsDl/ehOM0KQpABX2KdzOZ2wn502Qko/MeMJWcJrSXdHH/oOeg5zlQH8/H9g U6Mg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1699140510; x=1699745310; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=r8VZpS9xEzHMmmrQnh6IQ/sKT3jJbCQy3757ls41HHk=; b=xLvpGOKjKRHixO7AQqX+8hEzFtkBmr9Wsu1FySYKp2ixPT+pkvDuBNeOIrUM/BGhdV 1zVgaH8bDltlnImUuwXEYs+ApZAV0Dm2u6wB2Z8mLf2FaFpJm1G/dr6/Kgqe/1Dx59RR EN8sa2Ls7g3WKQCqmFgFjokCTH3GDxXEgrMOZjZN91drq8huNrZtyXWu16aQQDeMfJlZ +ZNYKoaQQRzZqX38Y4tbQEWWNBAO58x3+aK4UYXKvHe+1UfettNJ0FDdBT2QV2jMtlom Xvin4jnmGYBaWi1YOqtqkPEoQLLicyo7VS3KDpKM1RdcdlurL9VotGZYqxSBXqVIwau7 XyRQ== X-Gm-Message-State: AOJu0YykF7KM1WGv7mweJHQnRGtTPe2J3sEPFtm7Z/l8oHUnGo598qvE 9U7WcHz+B4DkQ8KjEwSRviqV5ndlWBGssg== X-Google-Smtp-Source: AGHT+IHqCH0KUrp95h7HhzN1WwoD3M3HTaoa93Q7ptO8bWHae27aoEaGJdJ062RKT6iTpY6GtNT77A== X-Received: by 2002:a62:aa14:0:b0:6be:c6f7:f9fd with SMTP id e20-20020a62aa14000000b006bec6f7f9fdmr8471333pff.11.1699140509775; Sat, 04 Nov 2023 16:28:29 -0700 (PDT) Received: from smtpclient.apple ([4.16.0.251]) by smtp.googlemail.com with ESMTPSA id f20-20020a635554000000b0059d6f5196fasm3290045pgm.78.2023.11.04.16.28.28 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sat, 04 Nov 2023 16:28:29 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.4\)) Subject: Re: [PATCH] Fix PR ada/111909 On Darwin, determine filesystem case sensitivity at runtime From: Iain Sandoe In-Reply-To: <6581E8BE-9D03-4F31-B5C4-B9DC79BBE1A7@pushface.org> Date: Sat, 4 Nov 2023 23:28:28 +0000 Cc: Arnaud Charlet , GCC Patches Content-Transfer-Encoding: quoted-printable Message-Id: References: <47D204E3-3595-4A4A-A0C6-13AA83E95B13@pushface.org> <20231103083926.GA2587057@adacore.com> <6581E8BE-9D03-4F31-B5C4-B9DC79BBE1A7@pushface.org> To: Simon Wright X-Mailer: Apple Mail (2.3696.120.41.1.4) X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,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: Hi Folks > On 4 Nov 2023, at 17:02, Simon Wright wrote: >=20 > On 3 Nov 2023, at 08:39, Arnaud Charlet wrote: >> So without changing fundamentally the model, you can't decide = dynamically for the whole >> system. Making the choice based on the current directory is pretty = random, since the current >> directory isn't well defined at program's start up and could be = pretty much any filesystem. >=20 > I=E2=80=99d imagine that projects spread over more than one = differently-case-sensitive filesystem would > be rare. As to the current directory at compiler startup, with = GPRbuild it=E2=80=99s the object directory, so > likely to be somewhere near the project=E2=80=99s source tree. It=E2=80=99s likely much less rare to find a CS external disk or an NFS = mount, or secondary FS with a non-CS system partition, (since the default for the system install is that way). I am suspicious of second-guessing any of this; my opinion is that if we = have an automated recognition of CS, then it needs to work in the general circumstance = (that would certainly be in the spirit of macOS =E2=80=9Cit just works=E2=80=9D). If we cannot achieve that, the advantage of the current scenario = (GNAT_FILE_NAME_CASE_SENSITIVE=3D..) is that it is explicit on the part of the user, and therefore puts the = onus on the user to get it right. >> Note that the current setting on arm is actually for iOS, which we = did support at AdaCore >> at some point (and could revive in the future, who knows). >=20 > Wouldn=E2=80=99t it be more natural to go via LLVM? I understand from = Iain that iOS isn=E2=80=99t currently > supported by GCC. Historically, we had no support for Arm or AArch64, so the missing = support of iOS as a concept was not important - now we have an AArch64 port, it is feasible and = potentially relevant to update this. Having said that, I=E2=80=99m not sure how a a GCC-developed iOS app = would be distributed - but of course libraries are a different story. >=20 >> So it would be fine to refine the test to differentiate between macOS = and embedded iOS and co, >> that would be a better change here. >=20 > There didn=E2=80=99t seem to be a way to do that. We should be able to do that at runtime (sysctl calls for example) > So, Iain, do we want to pursue this? Right now, I have no spare resources to tackle this, (I suspect that the = issues I see on earlier systems are due to the syscall not finding the right root FS from paths like = /foo/bar so it remains to be see how to deal with it). I have no objection from a Darwin perspective to = folks finding a mutually agreeable=20 solution that works without the user specifying the env. var - but I=E2=80= =99m not going to be able to contribute much to the work in the near future. thanks Iain