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
- [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/17/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, John Wiegley, 10/17/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/17/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/18/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Dan Frumin, 10/18/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Tej Chajed, 10/18/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/18/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Tej Chajed, 10/18/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/18/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/19/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Hugo Herbelin, 10/20/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Tej Chajed, 10/18/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/18/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/18/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/17/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, John Wiegley, 10/17/2016
Archive powered by MHonArc 2.6.18.