coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Configuring CoqIDE using _CoqProject

From: scott constable <sdconsta AT syr.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] Configuring CoqIDE using _CoqProject
Date: Wed, 20 Apr 2016 11:04:32 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sdconsta AT syr.edu; spf=None smtp.mailfrom=sdconsta AT syr.edu; spf=None smtp.helo=postmaster AT smtp1.syr.edu
Ironport-phdr: 9a23:85uXoxVj2YozkTrryV3dcRYfYP3V8LGtZVwlr6E/grcLSJyIuqrYZheCt8tkgFKBZ4jH8fUM07OQ6PCwHzJeqsnR+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq82VPVsD22r1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GLdfFXEtN30/zMztrxjKCwWVtVUGVWBDiRFPHxSN5xb8RYv4uC/3/r5m1CKdO9bqRJgvSC7k4qt2Hky7wBwbPiI0pTmEwvd7i7hW9Uqs

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

[Coq-Club] Configuring CoqIDE using _CoqProject, scott constable, 04/20/2016
- Re: [Coq-Club] Configuring CoqIDE using _CoqProject, Tej Chajed, 04/20/2016
  - Re: [Coq-Club] Configuring CoqIDE using _CoqProject, Théo Zimmermann, 04/20/2016
    - Re: [Coq-Club] Configuring CoqIDE using _CoqProject, scott constable, 04/20/2016
      - Re: [Coq-Club] Configuring CoqIDE using _CoqProject, scott constable, 04/20/2016
        
        Re: [Coq-Club] Configuring CoqIDE using _CoqProject, Tej Chajed, 04/20/2016
        
        Re: [Coq-Club] Configuring CoqIDE using _CoqProject, Théo Zimmermann, 04/21/2016
        
        Re: [Coq-Club] Configuring CoqIDE using _CoqProject, Pierre Courtieu, 04/21/2016