> On Nov 22, 2023, at 8:54 AM, Simon Wright <si...@pushface.org> wrote:
>
> On 21 Nov 2023, at 23:13, Iain Sandoe <i...@sandoe.co.uk> wrote:
>
>>> #if defined (__APPLE__)
>>> -#include <unistd.h>
>>
>> If removing unistd.h is intentional (i.e. you determined that it’s no longer
>> needed for Darwin), then we should make that a separate patch.
>
> I thought that I’d had to include unistd.h for the first patch in this
> thread; clearly not!
>
> What I hope will be the final version:
>
> ——— 8< .———
>
> In gcc/ada/adaint.c(__gnat_get_file_names_case_sensitive), the current
> assumption for __APPLE__ is that file names are case-insensitive
> unless __arm__ or __arm64__ are defined, in which case file names are
> declared case-sensitive.
>
> The associated comment is
> "By default, we suppose filesystems aren't case sensitive on
> Windows and Darwin (but they are on arm-darwin)."
>
> This means that on aarch64-apple-darwin, file names are treated as
> case-sensitive, which is not the default case.
>
> The true default position is that macOS file systems are
> case-insensitive, iOS file systems are case-sensitive.
Sort of. The most common choices for Mac OS file system type are indeed case
insensitive, but it also allows case sensitive file systems.
paul
