From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: About static libraries and Debian policy
Date: Fri, 14 May 2010 20:43:27 +0200
Date: 2010-05-14T20:43:27+02:00 [thread overview]
Message-ID: <87hbmae33k.fsf@ludovic-brenta.org> (raw)
In-Reply-To: 1pup1z7a4f1pq$.of30sejrqe4m.dlg@40tude.net
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> On Fri, 14 May 2010 07:57:49 -0700 (PDT), sjw wrote:
>
>> On May 14, 2:16 pm, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
>> wrote:
>>> http://people.debian.org/~lbrenta/debian-ada-policy.html
>>>
>>> requires no static libraries.
Yes, it does:
§ 5.3.3 Ada object files [...]
Rule: The -dev package SHALL provide a static library in
/usr/lib/libLIBRARY.a.
>>> Is that consistent with GNAT symbolic
>>> traceback, which for some unclear reasons is not included into GNAT
>>> relocatable RTL.
The debugging symbols are in additional packages with names ending in
-dbg. Re-read § 5.6 The separate debugging information package and §
6.1 Debugging programs that use shared libraries.
>>> BTW, Why there should be no traceback when relocatable libraries are
>>> used?
Traceback is always available, either in symbolic or numeric form. To
get the symbolic form, you need the -dbg package installed.
>> The problem is, I think, that the GNAT RTL (libgnat, libgnarl) isn't
>> compiled with debug (-g), so there are no symbols available to
>> interpret the traceback.
Yes, libgnat is compiled with -g but the debugging information is
detached into the -dbg packages.
> Maybe, but other shared libraries can well be compiled with -g as well
> as the application. But linking them with shared RTL fails if any of
> them uses Traceback.Symbolic.
That's because GNAT GPL includes a non-standard 'libaddr2line.a'
produced from binutils (and therefore pure GPL) and calls that to
produce the symbolic tracebacks. GCC (from the FSF) lacks this library.
I patched GCC to use an alternate mechanism instead, i.e. fork()/exec()
and call /usr/bin/addr2line. This restores the functionality in the FSF
version of GNAT.
--
Ludovic Brenta.
next prev parent reply other threads:[~2010-05-14 18:43 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-14 13:16 About static libraries and Debian policy Dmitry A. Kazakov
2010-05-14 14:57 ` sjw
2010-05-14 15:29 ` Dmitry A. Kazakov
2010-05-14 18:43 ` Ludovic Brenta [this message]
2010-05-14 19:54 ` Dmitry A. Kazakov
2010-05-14 20:38 ` Ludovic Brenta
2010-05-15 7:46 ` Dmitry A. Kazakov
2010-05-15 10:07 ` Ludovic Brenta
2010-05-15 11:07 ` Simon Wright
2010-05-15 21:48 ` Ludovic Brenta
2010-05-16 10:13 ` Simon Wright
2010-05-16 10:31 ` Ludovic Brenta
2010-05-19 21:59 ` Björn Persson
2010-05-20 7:20 ` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy) Ludovic Brenta
2010-05-20 8:38 ` Alex R. Mosteo
2010-05-21 12:26 ` Ludovic Brenta
2010-05-25 8:39 ` Symbolic tracebacks on Debian Ludovic Brenta
2010-05-20 14:04 ` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy) Dmitry A. Kazakov
2010-05-21 8:52 ` Symbolic tracebacks on Debian Stephen Leake
2010-05-22 11:03 ` (see below)
2010-05-22 11:25 ` Simon Wright
2010-05-22 21:37 ` (see below)
2010-05-23 13:28 ` Stephen Leake
2010-05-23 15:52 ` Simon Wright
2010-05-23 18:35 ` (see below)
2010-05-23 19:46 ` Simon Wright
2010-05-24 9:04 ` Stephen Leake
2010-05-24 19:14 ` Simon Wright
2010-05-25 2:13 ` Stephen Leake
2010-05-25 9:02 ` Alex R. Mosteo
2010-05-25 19:16 ` Simon Wright
2010-05-26 7:30 ` Stephen Leake
2010-05-24 9:03 ` Stephen Leake
2010-05-22 11:30 ` Yannick Duchêne (Hibou57)
2010-05-22 13:20 ` Björn Persson
2010-05-22 13:56 ` Dmitry A. Kazakov
2010-05-22 12:53 ` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy) Björn Persson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox