The Coq mailing list

[Hugo Herbelin <Hugo.Herbelin AT inria.fr>]

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