bug#27761: Crash while using proof-general/company-coq on OS X

[Денис Редозубов]

I'm finally ready to continue with this. I've installed the gdb on os x(with nix) and built emacs as described in etc/DEBUG document.

2017-07-31 22:12 GMT+03:00 Charles A. Roelli <charles@aurox.ch>:

> follow the additional for macOS here:

(additional steps)

On 31/07/2017 21:10, Charles A. Roelli wrote:

GDB (> 7.12.1) builds without a hitch on Sierra.  Please make sure to
follow the additional for macOS here:

https://sourceware.org/gdb/wiki/BuildingOnDarwin

On 30/07/2017 17:13, Денис Редозубов wrote:

I meant waiting a few days and helping me to figure out what's happening. I'll let you know. 

сб, 29 июля 2017 г. в 22:30, Eli Zaretskii <eliz@gnu.org>:

> From: Денис Редозубов <denis.redozubov@gmail.com>
> Date: Sat, 29 Jul 2017 16:03:49 -0400
> Cc: "Charles A. Roelli" <charles@aurox.ch>, Glenn Morris <rgm@gnu.org>, 27761@debbugs.gnu.org
>
> Maybe in a few days, but I'll need detailed instructions from you,
> Eli.

I'm here.  Tell me when you have GDB installed, and I will provide
instructions.

> Does it work for you?

Does what work for me?