This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: New feature "source-id"
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Doug Evans <dje at google dot com>
- Cc: gerhard dot gappmeier at ascolab dot com, gdb-patches at sourceware dot org
- Date: Sat, 15 Mar 2014 22:06:41 +0200
- Subject: Re: New feature "source-id"
- Authentication-results: sourceware.org; auth=none
- References: <7365721 dot BnaR1nHazz at lt-gergap> <CADPb22RsRdFvr09HC_zj_tvBVLEScC6UzgNs=UCjpf3zWCt_gQ at mail dot gmail dot com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> Date: Sat, 15 Mar 2014 10:32:12 -0700
> From: Doug Evans <dje@google.com>
> Cc: gdb-patches <gdb-patches@sourceware.org>
>
> But IMO the fetching of source must go through the Extension Language API.
> See gdb/extension*.[ch].
> I.e., don't do the popen in gdb. Just call out to the extension
> language via the API (e.g, Python), passing it the necessary
> parameters.
That would mean the feature will be unavailable in a GDB compiled
without Python and Guile.