The Coq mailing list

[Théo Zimmermann <theo.zimmermann AT ens.fr>]

Additionally, with Coq 8.5, I have observed that you have to provide a first line with options, such as "-R . MyLibrary". Otherwise a default "-R . Top" is implicitly added when doing make but not when loading CoqIDE. (This behavior might be a bug actually.)

Le mer. 20 avr. 2016 à 17:13, Tej Chajed <tchajed AT mit.edu> a écrit :

When you open a file with a file called _CoqProject in the same directory, CoqIDE should load it. If it works, you'll see "Reading options from <path to _CoqProject>" in the status bar at the very bottom briefly (eventually it will just say "Ready").

You might also check the IDE's settings for project files: there's a Project section of the settings that controls both the filename and what CoqIDE does with it (replace args, append to args, or nothing). It's possible that configuration is wrong for you.

Hope that helps!

Tej

On Wed, Apr 20, 2016 at 11:04 AM, scott constable <sdconsta AT syr.edu> wrote:

Hi All,

I have a simple coq project with a _CoqProject file in the source directory. According to the reference manual (Section 15.3), CoqIDE should be able to use the _CoqProject file to automatically configure itself at launch. However, I can't figure how to do this, and coqide --help isn't offering much assistance. Any help would be much appreciated.

~Scott Constable