[RFC] Add ARI directory to gdb sources
Joel Brobecker
brobecker@adacore.com
Wed May 16 14:44:00 GMT 2012
> The question of the location where we should add this script in gdb
> source arose. Joel suggested to put it directly into gdb directory.
Yeah, I didn't say it, but I agree it was a poor suggestion,
especially in light of:
> But after looking at the suggestion, it appears that you can't just
> use gdb_ari.sh alone, the update-web-ari script also uses
> gdb_find.sh script for instance, and a modified version of this
> update-web-air should probably also be added.
Here's what I think: Everything that generates is required to generate
the HTML code should be moved to the GDB directory. gdb/ari/ seems
fine to me, but others might want to comment. Unless the location
is critical to the implementation, which I hope it won't be, you
can start working on the move and submit patches. It should be
relatively easy to change the names if other suggestions appear.
On a user-interface level, it would be nice if the script that generates
the HTML was callable from out of tree, a little like configure.
I could create the HTML is a directory called "ari" located in
the current directory, for instance...
> writing as unofficial ARI maitainer
As far as I am concerned, you are the official ARI Maintainer :).
We'll make that official-official as soon as the code is moved
to the GDB repository by adding a section in the MAINTAINERS file.
--
Joel
More information about the Gdb-patches
mailing list