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?

[Simon Wright <simon@pushface.org>]

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 '.').