From: Simon Wright <simon@pushface.org>
Subject: Debian & gprinstall
Date: Tue, 14 Feb 2017 17:01:17 +0000
Date: 2017-02-14T17:01:17+00:00 [thread overview]
Message-ID: <lyfujgpuzm.fsf@pushface.org> (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).
next reply other threads:[~2017-02-14 17:01 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-02-14 17:01 Simon Wright [this message]
2017-02-14 17:57 ` Debian & gprinstall 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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox