[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#43248] [PATCH] Fix coqide

From: raingloom
Subject: [bug#43248] [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.

Attachment: 0001-gnu-coq-fix-coqide-not-finding-coqidetop.opt.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]