public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug ada/49783] New: GCC must bring ads and adb files after installation @ 2011-07-19 8:34 pavel at zhukoff dot net 2011-07-20 17:31 ` [Bug ada/49783] " ludovic@ludovic-brenta.org ` (2 more replies) 0 siblings, 3 replies; 4+ messages in thread From: pavel at zhukoff dot net @ 2011-07-19 8:34 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49783 Summary: GCC must bring ads and adb files after installation Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned@gcc.gnu.org ReportedBy: pavel@zhukoff.net For correct packaging some Ada programs (such as GprBuild, ASIS, Aunit, others) they need to be synchronized with Gnat (Gcc-gnat). But there are no any specs or bodies files available after gcc installation. I've opened bug in Fedora bugzilla, but Jakub wont package sources without upstream. https://bugzilla.redhat.com/722732 . We can use lib/gnat/gnat_util from Gnat-gpl from Adacore for example. Is it possible to install sources (ads and adb) to /usr/share/{something} or /usr/include/{something} with make install (e.g. install_sources target)? ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/49783] GCC must bring ads and adb files after installation 2011-07-19 8:34 [Bug ada/49783] New: GCC must bring ads and adb files after installation pavel at zhukoff dot net @ 2011-07-20 17:31 ` ludovic@ludovic-brenta.org 2012-01-10 18:23 ` pavel at zhukoff dot net 2012-01-11 10:36 ` pavel at zhukoff dot net 2 siblings, 0 replies; 4+ messages in thread From: ludovic@ludovic-brenta.org @ 2011-07-20 17:31 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49783 Ludovic Brenta <ludovic@ludovic-brenta.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ludovic@ludovic-brenta.org --- Comment #1 from Ludovic Brenta <ludovic@ludovic-brenta.org> 2011-07-20 17:30:55 UTC --- I have resolved this problem in Debian by creating two additional libraries from the GCC sources: libgnatvsn (GNAT Version Library under GPL3 with Runtime Library Exception) and libgnatprj (Project File parser under pure GPL). For full details, see: * Debian Ada Policy http://people.debian.org/~lbrenta/debian-ada-policy.html * my presentation at FOSDEM 2011 http://www.youtube.com/watch?v=-3HvUH4fJPM * the stack of Debian patches that implement the idea: ada-link-lib.diff, ada-libgnatvsn.diff, ada-libgnatprj.diff in this order. I am willing to submit these patches upstream to GCC; however they do introduce a potential problem: they make libgnat necessary on the host as well as on the target. Indeed, with these patches, all GNAT tools (gnatmake and friends) are now linked dynamically against libgnat-$V.so and the two new libraries libgnatvsn.so.$V and libgnatprj.so.$V (for V in 4.1 .. 4.6). ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/49783] GCC must bring ads and adb files after installation 2011-07-19 8:34 [Bug ada/49783] New: GCC must bring ads and adb files after installation pavel at zhukoff dot net 2011-07-20 17:31 ` [Bug ada/49783] " ludovic@ludovic-brenta.org @ 2012-01-10 18:23 ` pavel at zhukoff dot net 2012-01-11 10:36 ` pavel at zhukoff dot net 2 siblings, 0 replies; 4+ messages in thread From: pavel at zhukoff dot net @ 2012-01-10 18:23 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49783 --- Comment #2 from Pavel Zhukov <pavel at zhukoff dot net> 2012-01-10 18:22:02 UTC --- Hi Ludovic. Have your patches approved by upstream? I'm waiting for this because I cannot update gprbuild without correct sources of GCC FSF... (libgnat, gnat_urils or smth else). Besides there are some issues with aunit-2011 gcc-4.7 and gprbuild-2010 ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/49783] GCC must bring ads and adb files after installation 2011-07-19 8:34 [Bug ada/49783] New: GCC must bring ads and adb files after installation pavel at zhukoff dot net 2011-07-20 17:31 ` [Bug ada/49783] " ludovic@ludovic-brenta.org 2012-01-10 18:23 ` pavel at zhukoff dot net @ 2012-01-11 10:36 ` pavel at zhukoff dot net 2 siblings, 0 replies; 4+ messages in thread From: pavel at zhukoff dot net @ 2012-01-11 10:36 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49783 --- Comment #3 from Pavel Zhukov <pavel at zhukoff dot net> 2012-01-11 10:36:18 UTC --- Created attachment 26298 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26298 list of files from gnat_util ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2012-01-11 10:36 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2011-07-19 8:34 [Bug ada/49783] New: GCC must bring ads and adb files after installation pavel at zhukoff dot net 2011-07-20 17:31 ` [Bug ada/49783] " ludovic@ludovic-brenta.org 2012-01-10 18:23 ` pavel at zhukoff dot net 2012-01-11 10:36 ` pavel at zhukoff dot net
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).