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

["Charles A. Roelli" <charles@aurox.ch>]

[-- Attachment #1: Type: text/plain, Size: 1175 bytes --]

> 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 
>> <mailto:eliz@gnu.org>>:
>>
>>     > From: Денис Редозубов <denis.redozubov@gmail.com
>>     <mailto:denis.redozubov@gmail.com>>
>>     > Date: Sat, 29 Jul 2017 16:03:49 -0400
>>     > Cc: "Charles A. Roelli" <charles@aurox.ch
>>     <mailto:charles@aurox.ch>>, Glenn Morris <rgm@gnu.org
>>     <mailto:rgm@gnu.org>>, 27761@debbugs.gnu.org
>>     <mailto: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?
>>
>


[-- Attachment #2: Type: text/html, Size: 3039 bytes --]