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?

[Kenneth Wolcott <kennethwolcott@gmail.com>]

Thank you Simon!

On Sunday, June 25, 2023 at 3:15:54 AM UTC-7, Simon Wright wrote:
> Kenneth Wolcott 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/ 

This is all the information that I needed, thank you!

> 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 

This is nice, thank you!

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

Ken Wolcott