* Debian & gprinstall
@ 2017-02-14 17:01 Simon Wright
2017-02-14 17:57 ` Dmitry A. Kazakov
0 siblings, 1 reply; 7+ messages in thread
From: Simon Wright @ 2017-02-14 17:01 UTC (permalink / raw)
Has anyone devised a setup to use gprinstall to install a library to
match the Debian Ada Policy?
I don't care so much (perhaps I should) about getting the sonames right,
but I'd like at least to get the library GPRs installed where Debian
looks for them.
At the moment, on jessie, gprinstall installs:
Sources in /usr/include/<library>/
ALI files in /usr/lib/<library>/
Objects in /usr/lib/<library>/(for a relocatable library, a symlink to
the so in /usr/lib/<library>/ is put in /usr/lib)
GPRs in /usr/share/gpr/
and at the very least GPRs should be in
/usr/share/ada/adainclude/. That's easy enough using
--project-dir=share/ada/adainclude, but what about the other
directories? (they need to be reasonably out of the way of anywhere that
Debian would install software).
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: Debian & gprinstall
2017-02-14 17:01 Debian & gprinstall Simon Wright
@ 2017-02-14 17:57 ` Dmitry A. Kazakov
2017-02-14 21:30 ` Simon Wright
0 siblings, 1 reply; 7+ messages in thread
From: Dmitry A. Kazakov @ 2017-02-14 17:57 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: Debian & gprinstall
2017-02-14 17:57 ` Dmitry A. Kazakov
@ 2017-02-14 21:30 ` Simon Wright
2017-02-15 8:44 ` Dmitry A. Kazakov
0 siblings, 1 reply; 7+ messages in thread
From: Simon Wright @ 2017-02-14 21:30 UTC (permalink / raw)
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 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.
I only want a set of switches that will make gprinstall do something
that works on Debian with the system compiler (no problem if using GNAT
GPL, of course, since the default setup is what GNAT GPL expects) and
doesn't trample over other software.
Is the Fedora equivalent of the Debian Ada policy written up anywhere?
> 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.
But I'm not going to distribute binary library packages for any Linux
flavours. So I don't need to understand .deb, .rpm, etc etc. I just want
the _source_ packages to be easily installable.
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: Debian & gprinstall
2017-02-14 21:30 ` Simon Wright
@ 2017-02-15 8:44 ` Dmitry A. Kazakov
2017-02-15 9:29 ` Simon Wright
0 siblings, 1 reply; 7+ messages in thread
From: Dmitry A. Kazakov @ 2017-02-15 8:44 UTC (permalink / raw)
On 14/02/2017 22:30, Simon Wright wrote:
> I only want a set of switches that will make gprinstall do something
> that works on Debian with the system compiler (no problem if using GNAT
> GPL, of course, since the default setup is what GNAT GPL expects) and
> doesn't trample over other software.
I think a natural way would be if AdaCore added package Installer to the
project file which could contain variables and commands to gprinstall.
> Is the Fedora equivalent of the Debian Ada policy written up anywhere?
https://fedoraproject.org/wiki/Packaging:Ada
>> 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.
>
> But I'm not going to distribute binary library packages for any Linux
> flavours. So I don't need to understand .deb, .rpm, etc etc. I just want
> the _source_ packages to be easily installable.
Sure, but there is no easy way, not any more. I mean, with all these
multi-arch systems and cross compilers it becomes more and more
complicated. So maybe in the end it would be easier to do it in a hard
way...
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2017-02-15 10:33 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-02-14 17:01 Debian & gprinstall Simon Wright
2017-02-14 17:57 ` Dmitry A. Kazakov
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
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox