From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: How to supply O/S linker arguments with gprbuild?
Date: Mon, 22 Jun 2020 23:16:46 +0200 [thread overview]
Message-ID: <rcr73s$1iq4$1@gioia.aioe.org> (raw)
In-Reply-To: ly5zbihlvy.fsf@pushface.org
On 22/06/2020 22:43, Simon Wright wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>
>> Another idea to consider would be to ditch makefiles. gprbuild does
>> everything makefiles do and better and more.
>
> Almost everything! except determining which OS you're running under, or
> building project documentation, or ...
Are you sure that make has OS macro defined? [It would be great to have
host OS/architecture + target OS/architecture attributes in gpr. I do
not understand why gpruild still does not have them.]
Isn't there the package Documentation in grpbuild? [I must admit I never
used it because I believe documentation must be written, not built.]
If you rather mean project cross reference GPS does the job to me.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2020-06-22 21:16 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-22 15:51 How to supply O/S linker arguments with gprbuild? Warren
2020-06-22 16:14 ` Mark Lorenzen
2020-06-22 16:30 ` Dennis Lee Bieber
2020-06-22 16:39 ` Dmitry A. Kazakov
2020-06-22 17:52 ` Warren
2020-06-22 20:07 ` Dmitry A. Kazakov
2020-06-22 20:43 ` Simon Wright
2020-06-22 20:59 ` Warren
2020-06-22 21:52 ` Simon Wright
2020-06-22 21:16 ` Dmitry A. Kazakov [this message]
2020-06-22 21:27 ` Warren
2020-06-22 21:47 ` Simon Wright
2020-06-22 22:08 ` Jeffrey R. Carter
2020-06-23 9:23 ` Björn Lundin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox