bug#43248: closed ([PATCH] Fix coqide)

[GNU bug Tracking System]

Your message dated Mon, 7 Sep 2020 14:03:23 +0200
with message-id <20200907140323.5072311f@tachikoma.lepiller.eu>
and subject line Re: [bug#43248] [PATCH] Fix coqide
has caused the debbugs.gnu.org bug report #43248,
regarding [PATCH] Fix coqide
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


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

--- Begin Message --- Subject: [PATCH] Fix coqide Date: Sun, 6 Sep 2020 20:02:03 +0200

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
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> 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@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!
>
>
> --- End Message ---