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

Previous Next

Package: emacs;

Reported by: Денис Редозубов <denis.redozubov <at> gmail.com>

Date: Wed, 19 Jul 2017 02:56:02 UTC

Severity: normal

Merged with 30705

Fixed in version 26.1

Done: Glenn Morris <rgm <at> gnu.org>

Bug is archived. No further changes may be made.

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:10:35 +0200

[Message part 1 (text/plain, inline)]
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)]
This bug report was last modified 7 years and 76 days ago.

Previous Next

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