From: Jerry <list_email@icloud.com>
Subject: Re: Problem with gpr file after updating GNAT
Date: Tue, 6 Dec 2022 02:56:06 -0800 (PST) [thread overview]
Message-ID: <567a8715-05d2-4fc4-8da3-ee17a34e0a4cn@googlegroups.com> (raw)
In-Reply-To: <lywn757ov9.fsf@pushface.org>
Both Simon's suggestion
export GNAT_FILE_NAME_CASE_SENSITIVE=0
and Egil's suggestion
package Naming is
for Casing use "MixedCase";
end Naming;
solve the problem.
Thanks. Not sure what the underlying problems are.
Jerry
prev parent reply other threads:[~2022-12-06 10:56 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-12-05 8:47 Problem with gpr file after updating GNAT Jerry
2022-12-05 12:30 ` Egil H H
2022-12-05 17:16 ` Simon Wright
2022-12-06 10:56 ` Jerry [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox