From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: I have gnat 13.1.0 on my M1 Mac; I'd like to have my own Ada+GNAT *.ad[sb] library files, where are they?
Date: Sun, 25 Jun 2023 11:15:49 +0100
Organization: A noiseless patient Spider
Message-ID: <ly1qhzhmp6.fsf@pushface.org>
References: <266fe78e-5e0e-4b2e-afc2-b1bf6771b082n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="6b47696675b1bd30412b15d6c9dc5743";
	logging-data="492278"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+U3ANWC1T71Nmya5Tehi93hmSH4q+bAYk="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (darwin)
Cancel-Lock: sha1:QcIQT7gmBM6G/B1LfUm3acgMZOU=
	sha1:+liTHlq8bVjSbmdP8BFd8sepEo0=
Xref: news.eternal-september.org comp.lang.ada:65346
List-Id: <comp.lang.ada>

Kenneth Wolcott <kennethwolcott@gmail.com> writes:

> I have gnat 13.1.0 on my M1 Mac;
>
> (thank you, Simon! <GRIN>)

:bow:

> I'd like to have my own Ada+GNAT *.ad[sb] library files, where are they?

If you just want to insect them, see below: if you want to alter them,
that'd be a bit tricker. As far as I can remember, GNAT Pro releases
provide for rebuilding the runtime, but the FSF builds don't.

> I can find the Ada libraries (*.ad[sb]) but it sometimes is hard to
> (reliably) find all of the GNAT Ada libraries in external
> documentation.

They're in {prefix}/lib/gcc/{target}/{release}/adainclude/ - i.e., in
your case (unless you've moved the install)

   /opt/gcc-13.1.0-aarch64/lib/gcc/aarch64-apple-darwin21/13.1.0/adainclude/

But you say you know that. I wonder whether it's the crunched filenames
that are confusing? (a legacy of the days when DOS 8.3 filenames were
required for a large part of GNAT's target audience). You can find the
crunched filename for a package using gnatkr (gnat krunch):

   $ gnatkr gnatkr ada.sequential_io.ads
   a-sequio.ads

(you don't actually need whatever's after the final period to be the
actual file extension: you could use '.open' or just '.').