[RFC] Add ARI directory to gdb sources
Sergio Durigan Junior
sergiodj@redhat.com
Fri May 18 21:17:00 GMT 2012
On Wednesday, May 16 2012, Joel Brobecker wrote:
>> 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.
Pierre showed up in IRC and mentioned that someone suggested
`gdb/contrib'. I could not find the thread/message, but I support this
idea FWIW. `gdb/contrib/ari' would be good, then.
My rationale is that ARI is not part of GDB as a program nor distributed
with it, so creating `gdb/ari' would perhaps confuse people because
there are other directories there like `gdb/mi' or `gdb/cli'.
My 2 cents.
--
Sergio
More information about the Gdb-patches
mailing list