Christian wrote: > > > On Do, 15 Mär 2018, Christian Brabandt wrote: > > > > On Do, 15 Mär 2018, M Kelly wrote: > > > > > GNU gdb (Ubuntu 7.11.1-0ubuntu1~16.5) 7.11.1 > > > > This needs a gdb 7.12 > > > > > > How about the following patch: > > > > I'm actually not sure if 7.12 is really the required version. It > > appears that with Ubuntu older versions don't work, but the MI was > > supported much longer ago. I can't find a release note that indicates > > something changed in 7.12 that made it work. > > In Debian: > /usr/share/doc/gdb/changelog.gz contains this: > (don't know where this is from...) > > ,---- > | 2016-06-21 Pedro Alves <[email protected]> > | > | * gdb.texinfo (Interpreters): Update intepreter-exec section, > | document new-ui and explain use case. > `----
Hmm, that is about updating the documentation. Does that mean they also implemented new-ui ? > Now have a look at https://www.gnu.org/software/gdb/news/ > > ,---- > | June 4th, 2017: GDB 8.0 Released! > | [...] > | Apr 17th, 2017: GDB 8.0 branch created > | [...] > | Jan 21st, 2017: GDB 7.12.1 Released! > | [...] > | October 7th, 2016: GDB 7.12 Released! > | [...] > | Aug 1st, 2016: GDB 7.12 branch created > | [...] > | May 31st, 2016: GDB 7.11.1 Released! > `---- > > I would expect it to work in a 7.12 release. -- hundred-and-one symptoms of being an internet addict: 25. You believe nothing looks sexier than a man in boxer shorts illuminated only by a 17" inch svga monitor. /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
