From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Configurable Run Time without GPR Tools
Date: Tue, 5 Nov 2019 09:59:01 +0100
Date: 2019-11-05T09:59:01+01:00 [thread overview]
Message-ID: <qprdkp$1hb5$1@gioia.aioe.org> (raw)
In-Reply-To: d6b5db61-4b42-45a4-8578-2fe053732cc1@googlegroups.com
On 2019-11-05 09:43, Daniel Way wrote:
> Since I need to port a run time for my target hardware and I want to share this project via GitHub, I want all the run time files grouped. I guess I can make it work if I become more familiar with the tools.
I don't know GitHub well enough, but assuming GitHub were designed in a
reasonable way, then your GitHub project would contain no such thing as
libraries from a tool chain. It would rather /depend/ on another GitHub
project: GNAT cross-compiler for the target XYZ version N.M. Pulling out
your project would recursively pull all projects it depends on, just
like Linux repositories work. Cut'n'paste approach is never good idea,
repository or not.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2019-11-05 8:59 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-05 5:47 Configurable Run Time without GPR Tools Daniel Way
2019-11-05 8:28 ` Dmitry A. Kazakov
2019-11-05 8:43 ` Daniel Way
2019-11-05 8:59 ` Dmitry A. Kazakov [this message]
2019-11-05 9:14 ` Simon Wright
2019-11-05 15:15 ` Shark8
2019-11-05 9:18 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox