[Bug ada/49783] New: GCC must bring ads and adb files after installation

[Bug ada/49783] New: GCC must bring ads and adb files after installation

[pavel at zhukoff dot net]

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)?

[Bug ada/49783] GCC must bring ads and adb files after installation

[ludovic@ludovic-brenta.org]

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).

[Bug ada/49783] GCC must bring ads and adb files after installation

[pavel at zhukoff dot net]

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

[Bug ada/49783] GCC must bring ads and adb files after installation

[pavel at zhukoff dot net]

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