bug-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Charles A. Roelli
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Mon, 31 Jul 2017 21:12:07 +0200
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:45.0) Gecko/20100101 Thunderbird/45.8.0

> 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 <address@hidden>:
> From: Денис Редозубов <address@hidden>
> Date: Sat, 29 Jul 2017 16:03:49 -0400
> Cc: "Charles A. Roelli" <address@hidden>, Glenn Morris <address@hidden>, address@hidden
>
> 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?



reply via email to

[Prev in Thread] Current Thread [Next in Thread]