Kenneth Wolcott <
kenneth...@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 '.').