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,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:a05:6214:4a43:b0:62f:e987:b98e with SMTP id ph3-20020a0562144a4300b0062fe987b98emr3171373qvb.11.1687712417306; Sun, 25 Jun 2023 10:00:17 -0700 (PDT) X-Received: by 2002:a25:ad9f:0:b0:bce:5d6f:87a with SMTP id z31-20020a25ad9f000000b00bce5d6f087amr5550186ybi.1.1687712417083; Sun, 25 Jun 2023 10:00:17 -0700 (PDT) Path: eternal-september.org!news.eternal-september.org!2.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 25 Jun 2023 10:00:16 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=98.59.238.112; posting-account=oHOvdQoAAACYgyEBjgPNvKFOGxg8pNns NNTP-Posting-Host: 98.59.238.112 References: <266fe78e-5e0e-4b2e-afc2-b1bf6771b082n@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <2f96cfa9-ae19-4afb-86a8-cc87b936b24en@googlegroups.com> 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? From: Kenneth Wolcott Injection-Date: Sun, 25 Jun 2023 17:00:17 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:65348 List-Id: Thank you Simon! On Sunday, June 25, 2023 at 3:15:54=E2=80=AFAM UTC-7, Simon Wright wrote: > Kenneth Wolcott writes:=20 >=20 > > I have gnat 13.1.0 on my M1 Mac;=20 > >=20 > > (thank you, Simon! ) > :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,=20 > that'd be a bit tricker. As far as I can remember, GNAT Pro releases=20 > 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=20 > > (reliably) find all of the GNAT Ada libraries in external=20 > > documentation. > They're in {prefix}/lib/gcc/{target}/{release}/adainclude/ - i.e., in=20 > your case (unless you've moved the install)=20 >=20 > /opt/gcc-13.1.0-aarch64/lib/gcc/aarch64-apple-darwin21/13.1.0/adainclude/= =20 This is all the information that I needed, thank you! > But you say you know that. I wonder whether it's the crunched filenames= =20 > that are confusing? (a legacy of the days when DOS 8.3 filenames were=20 > required for a large part of GNAT's target audience). You can find the=20 > crunched filename for a package using gnatkr (gnat krunch):=20 >=20 > $ gnatkr gnatkr ada.sequential_io.ads=20 > a-sequio.ads=20 This is nice, thank you! > (you don't actually need whatever's after the final period to be the=20 > actual file extension: you could use '.open' or just '.'). Ken Wolcott