From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Debian & gprinstall
Date: Tue, 14 Feb 2017 18:57:10 +0100
Date: 2017-02-14T18:57:10+01:00 [thread overview]
Message-ID: <o7vgdk$1ss4$1@gioia.aioe.org> (raw)
In-Reply-To: lyfujgpuzm.fsf@pushface.org
On 2017-02-14 18:01, Simon Wright wrote:
> Has anyone devised a setup to use gprinstall to install a library to
> match the Debian Ada Policy?
But gprinstall cannot follow policies of all Linux flavors. Fedora's
policy is very different, e.g. it has a system gpr project to include
into the library project and get directories' paths from there.
If indeed grpinstall were to care of the Linux target I would suggest to
generate a proper project installation file, *.deb, *.rpm and use it in
the standard system installer.
I wrote an extremely ugly bash script to generate Debian and Fedora
project files. It would be a great help if gprinstall did this (and *msi
setup for Windows). Not that I believe that to happen...
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2017-02-14 17:57 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-02-14 17:01 Debian & gprinstall Simon Wright
2017-02-14 17:57 ` Dmitry A. Kazakov [this message]
2017-02-14 21:30 ` Simon Wright
2017-02-15 8:44 ` Dmitry A. Kazakov
2017-02-15 9:29 ` Simon Wright
2017-02-15 9:39 ` Pascal Obry
2017-02-15 10:33 ` 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