From: John Perry <devotus@yahoo.com>
Subject: Re: Trouble building with gnatcoll
Date: Fri, 29 Apr 2022 21:30:48 -0700 (PDT) [thread overview]
Message-ID: <ea322495-b14b-49b4-9436-3b311d2ab8d3n@googlegroups.com> (raw)
In-Reply-To: <de49cc32-40b7-45bc-b318-a83568d79b0en@googlegroups.com>
I found the answer, and it's a bit embarrassing, but looking in the gnatcoll examples would have done it: add
with "gnatcoll";
to the beginning of the gpr file.
prev parent reply other threads:[~2022-04-30 4:30 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-04-30 1:43 Trouble building with gnatcoll John Perry
2022-04-30 4:30 ` John Perry [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox