1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
Debug packages
======================================================================
This is a package with debug symbols. The purpose of a -dbg package
is to provide a mapping between binary addresses and source line
numbers/variable names, not to provide the source itself [1].
The source itself is in the source package, which can be installed
with "apt-get source ompl" if you have a deb-src line in
/etc/apt/sources.list. This installs it in the current directory
owned by the current user (i.e. conveniently editable), while apt-get
install files are normally owned and editable only by root.
It's working if your debug backtraces are of the form:
#3 0x0000000000ed4188 in SGPropertyNode::set_string (this=0x7eaa480,
val=0x20d79a0 "Shaders/cloud-shadowfunc.frag")
at /home/palmer/fs_dev/git/simgear/simgear/props/props.cxx:511
(note the file name and line number) rather than
#2 0x00007ffff5aef83d in g_input_stream_read ()
from /usr/lib/x86_64-linux-gnu/libgio-2.0.so.0
#3 0x00007ffff669c3e5 in ?? ()
from /usr/lib/x86_64-linux-gnu/libgdk_pixbuf-2.0.so.0
To make use of this package install the ompl source package following
the instructions above and configure gdb [2] (or qtcreator [3], or
whatever IDE you use) to use it.
Leopold Palomo-Avellaneda <leo@alaxarxa.net>
May 2014
-----
[1] https://lists.debian.org/debian-mentors/2014/05/msg00194.html
[2] https://sourceware.org/gdb/onlinedocs/gdb/Source-Path.html
[3] http://qt-project.org/doc/qtcreator-2.8/creator-debugger-engines.html
|
