GNU bug report logs - #27761
Crash while using proof-general/company-coq on OS X

Previous Next

Full log

View this message in rfc822 format

From: "Charles A. Roelli" <charles <at> aurox.ch>
To: Денис Редозубов <denis.redozubov <at> gmail.com>, Eli Zaretskii <eliz <at> gnu.org>
Cc: 27761 <at> debbugs.gnu.org, rgm <at> gnu.org
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Mon, 31 Jul 2017 21:12:07 +0200

[Message part 1 (text/plain, inline)]

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

[Message part 2 (text/html, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.