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:622a:1742:b0:400:9f40:e4f4 with SMTP id l2-20020a05622a174200b004009f40e4f4mr692545qtk.6.1687808122272; Mon, 26 Jun 2023 12:35:22 -0700 (PDT) X-Received: by 2002:a81:a8c4:0:b0:569:d971:43c1 with SMTP id f187-20020a81a8c4000000b00569d97143c1mr18154573ywh.1.1687808122080; Mon, 26 Jun 2023 12:35:22 -0700 (PDT) Path: eternal-september.org!news.eternal-september.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 26 Jun 2023 12:35:21 -0700 (PDT) In-Reply-To: <1f88aebf-f1f2-46fa-b66a-4e605d7ff202n@googlegroups.com> 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> <87v8fb1acr.fsf@nosuchdomain.example.com> <1f88aebf-f1f2-46fa-b66a-4e605d7ff202n@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: 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: Mon, 26 Jun 2023 19:35:22 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 1697 Xref: news.eternal-september.org comp.lang.ada:65351 List-Id: > Simon Wright writes: > $ gnatkr ada.sequential_io.ads > a-sequio.ads Simon, Keith, Jere: Yes, the crunched names are annoying. Too bad that they seem to be required even now... I'm now writing a Perl script (later to be converted to Ada) which does the "unkrunch" :-) Seems like a missing utility for humans to use Ada :-) Thanks, Ken