From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x42e.google.com (mail-wr1-x42e.google.com [IPv6:2a00:1450:4864:20::42e]) by sourceware.org (Postfix) with ESMTPS id CD9B53858404 for ; Mon, 13 Nov 2023 16:18:29 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org CD9B53858404 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org CD9B53858404 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::42e ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699892311; cv=none; b=NU1qgFgs+ZUVfPbxFhf+ESz5zx+n4ISsgWUvinaOe7CmdmIlhVUgfeV8Zy7GpVoa4If0teylAjzxBIABGx39vw8bW01Gn18hKXAcd12bOW7iPA+Pc1yvpS7vTOBHK63nmUYDTaVcewpEMSGjBCL++ignWYW+DqvdmxxY+wLSrb4= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699892311; c=relaxed/simple; bh=OKs2787UUx6iB1n4tuaxHMb73o56cSVcWos1L6Qq508=; h=DKIM-Signature:Date:From:To:Subject:Message-ID:MIME-Version; b=q4M9uMPTfGNdjj0SGlNIn8BHgZAQtCMnkFKOH5Aj+7x70UGz4AbbCAFpnYEUIiWed7NfRqLgXrV+cSCYURQ2k3+hZNz2rycAeabq0h8r1CLAQoy9TFVsBSidP0U2JGEW+e80Zxuq4NMUPNxbKi6aMhhwI+Ilajw0GnCQLjKwmis= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wr1-x42e.google.com with SMTP id ffacd0b85a97d-32f7c44f6a7so2742584f8f.1 for ; Mon, 13 Nov 2023 08:18:29 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1699892308; x=1700497108; darn=gcc.gnu.org; h=in-reply-to:content-transfer-encoding:content-disposition :mime-version:references:message-id:subject:cc:to:from:date:from:to :cc:subject:date:message-id:reply-to; bh=ceXNmvc0xXm3yiUWxN8z7PBbKjXusLtQWUf07l1yQqs=; b=eJox6orhHs17JseFjUUE+P8YUaBrXaou58Tee9KQlUgYwTWWAonlYouqg6AXcv5Lo5 oFluJLXQZnmjN0e4Ayeu6T6uZaL6NvX6Jevq+G5NUKv16mD2BssuaSlGm1TSfMbrx/On oL9ctuvNwRtDzrAOFeLnHNvKOUCixysZMxE1Illhqf9hqFfp/pP4kfIi/Wy1J27nA/uW 4DVyzwupx4g+p9L/fEMAzI9t6E0vBUR7w7yBsdRmLYgXs9zfHH+vhl2tHP7dnVF8o2pJ xM7L7vDK0Nnhufa1JXHy/Y05PV3rQLFCGQGpZg4An6V+v3oIcmoVHld3GSEtjfgj7O/s 5xkw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1699892308; x=1700497108; h=in-reply-to:content-transfer-encoding:content-disposition :mime-version:references:message-id:subject:cc:to:from:date :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=ceXNmvc0xXm3yiUWxN8z7PBbKjXusLtQWUf07l1yQqs=; b=spE+RKdxISByMnHVEGMFtr0YAQcjxqiP3UKmqUI1xSlmU76+7QfHHW0spsp1JpRjIy WhWdcTwhTNew7QI6WdZLjAH1NGUwbadYmAPuP0/iijwLydiIPWqUGGSml4xAwzbaifFW vFbZfxs7A2lxN1OnW7QGDvuwvw775UHwy8jRZXbDvhirmSB+CDUsPtOMf3GM3MzX3YlX aisYOMHdeNJ89EDGlGHt+x3JdWRaiRTEccVmyxIaXuol5Tm30Aei+pXsgN0uaGG4CHEc wgSVUOHCDuI4StDh2tOa6vIvq/kSfVid4w9hpnAmV9iKeaO9xZEPVYycGeMq2wcjGqBI lVSg== X-Gm-Message-State: AOJu0YwYi1AzF1267uylBqd+djcNPJtvdQPN+G5xp4aGyTBregQuG9EL oDuhuamO34l7nWcjF1oP+FSatQ== X-Google-Smtp-Source: AGHT+IGHeFDn4TQaEmGAG8nK75fS2usbdWIiiq/J8URqzu0oTf8L9gGbaHvkNcJW0ZT7Xkca4Ejj8w== X-Received: by 2002:a5d:452f:0:b0:32f:6fc3:7963 with SMTP id j15-20020a5d452f000000b0032f6fc37963mr4818383wra.15.1699892308458; Mon, 13 Nov 2023 08:18:28 -0800 (PST) Received: from localhost ([45.147.211.82]) by smtp.gmail.com with ESMTPSA id dd19-20020a0560001e9300b0032da4c98ab2sm5722570wrb.35.2023.11.13.08.18.27 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 13 Nov 2023 08:18:28 -0800 (PST) Date: Mon, 13 Nov 2023 16:18:27 +0000 From: Arnaud Charlet To: Simon Wright Cc: Iain Sandoe , Arnaud Charlet , GCC Patches Subject: Re: [PATCH] Fix PR ada/111909 On Darwin, determine filesystem case sensitivity at runtime Message-ID: <20231113161827.GA61280@adacore.com> References: <47D204E3-3595-4A4A-A0C6-13AA83E95B13@pushface.org> <20231103083926.GA2587057@adacore.com> <6581E8BE-9D03-4F31-B5C4-B9DC79BBE1A7@pushface.org> <20231106083644.GA2141436@adacore.com> <0296D5C3-F810-4754-862C-72D7F79563EB@googlemail.com> <8324DEB5-442B-4B18-8CA8-29A96960DD14@pushface.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <8324DEB5-442B-4B18-8CA8-29A96960DD14@pushface.org> X-Spam-Status: No, score=-4.3 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,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: > >>> OK, I thought there would be some defines that we could use for that, too bad if there isn't > >>> and indeed we might need to perform another runtime check then as suggested by Iain. > >> > >> I can see a possible interface, operatingSystemVersion in NSProcessInfo.h - Objective C > >> needed, I think > > > > Some of the NS interfaces are available to regular C (e.g. stuff in CoreFoundation), and I am > > fairly/very sure that we will be able to find a machanism that does not involve introducing an > > ObjC dep. [I am obvioulsy not in any way against ObjC - since i’m the maintainer ;) .. but it > > seems heavyweight for solving this issue]. > > It certainly would be heavyweight, since TargetConditionals.h includes TARGET_OS_OSX, > which is 1 if we’re compiling for macOS and 0 otherwise (there’s a useful chart at :83 in the > MacOSX13.1 SDK). > > Two ways ahead here: > (1) just replace the current __arm__, __arm64__ test with this That would be fine here (replace refs to *arm* by TARGET_OS_OSX), since this was my original suggestion (copied at the top of this email). > (2) as 1, but implement the runtime test for case sensitivity only for macOS > > Whether (2) is acceptable depends, I suppose, on what issues Iain encountered on Darwin 9 > & Darwin 17. I’ll be content to go with (1).