GNU bug report logs - #43248
[PATCH] Fix coqide

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: raingloom <raingloom <at> riseup.net>
Subject: bug#43248: closed (Re: [bug#43248] [PATCH] Fix coqide)
Date: Mon, 07 Sep 2020 12:04:02 +0000

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

Your bug report

#43248: [PATCH] Fix coqide

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 43248 <at> debbugs.gnu.org.

-- 
43248: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43248
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Julien Lepiller <julien <at> lepiller.eu>
To: raingloom <raingloom <at> riseup.net>
Cc: 43248-done <at> debbugs.gnu.org
Subject: Re: [bug#43248] [PATCH] Fix coqide
Date: Mon, 7 Sep 2020 14:03:23 +0200

Le Sun, 6 Sep 2020 20:02:03 +0200,
raingloom <raingloom <at> riseup.net> a écrit :

> coqide wasn't working because it couldn't find coqidetop.opt, because
> it was being deleted due to being a duplicate of coqidetop.
> 
> I looked at the source to figure out a way to simply convince Coq to
> use coqidetop, but it would have require too much patching, also other
> tools might assume either coqidetop or coqidetop.opt being available,
> so to be safe, I made one into a symlink to the other.
> 
> Coqide now works without any weird workarounds.

Pushed as 1394765238c21030ace4fbb773dc86a9e3c2504c, thank you!

[Message part 3 (message/rfc822, inline)]

From: raingloom <raingloom <at> riseup.net>
To: Guix Patches <guix-patches <at> gnu.org>
Subject: [PATCH] Fix coqide
Date: Sun, 6 Sep 2020 20:02:03 +0200

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

coqide wasn't working because it couldn't find coqidetop.opt, because
it was being deleted due to being a duplicate of coqidetop.

I looked at the source to figure out a way to simply convince Coq to
use coqidetop, but it would have require too much patching, also other
tools might assume either coqidetop or coqidetop.opt being available,
so to be safe, I made one into a symlink to the other.

Coqide now works without any weird workarounds.

[0001-gnu-coq-fix-coqide-not-finding-coqidetop.opt.patch (text/x-patch, attachment)]

Previous Next

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