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: Eli Zaretskii <eliz <at> gnu.org>
To: Денис Редозубов <denis.redozubov <at> gmail.com>
Cc: 27761 <at> debbugs.gnu.org, rgm <at> gnu.org, charles <at> aurox.ch
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Tue, 01 Aug 2017 22:12:19 +0300

> From: Денис Редозубов <denis.redozubov <at> gmail.com>
> Date: Tue, 1 Aug 2017 21:22:55 +0300
> Cc: Eli Zaretskii <eliz <at> gnu.org>, 27761 <at> debbugs.gnu.org, Glenn Morris <rgm <at> gnu.org>
> 
> 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.

Thank you.  Please start Emacs under GDB, using the "run" command,
then perform your reproduction recipe and see that Emacs crashes and
GDB takes control.  Then type

  (gdb) bt

and show here the results.
This bug report was last modified 7 years and 75 days ago.

Previous Next

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