Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT


Chronological Thread 
  • From: Hugo Herbelin <Hugo.Herbelin AT inria.fr>
  • To: Satrajit Roy <satrajit.roy AT gmail.com>
  • Cc: coq-club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT
  • Date: Thu, 20 Oct 2016 16:56:20 +0200

On Wed, Oct 19, 2016 at 01:12:26PM -0400, Satrajit Roy wrote:
> I have the following issue with coqide (8.5pl2) on Windows:
>
> I added -I"<folder>" to coqtop in the external customization settings page.
> Now coqide fails to start since coqtop has wrong parameters.
>
> I'm looking for .coqiderc, but there is no such file anywhere.
>
> How do I fix this issue?

The external customization settings page does not support to give
parameters to the coqtop name. But parameters given to coqide are
propagated to coqtop. Then, this is only a half-answer but if you have
a way to pass arguments to coqide on Windows, you'll have a way to
pass some "-I <folder>" to coqtop.

Hugo



Archive powered by MHonArc 2.6.18.

Top of Page