Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Switching between Coq installations w/ Proof General

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Switching between Coq installations w/ Proof General


Chronological Thread 
  • From: Pierre Courtieu <pierre.courtieu AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Switching between Coq installations w/ Proof General
  • Date: Tue, 15 Mar 2016 15:27:54 +0000
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pierre.courtieu AT gmail.com; spf=Pass smtp.mailfrom=pierre.courtieu AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f47.google.com
  • Ironport-phdr: 9a23:xqeBXRISpbvLagrUBdmcpTZWNBhigK39O0sv0rFitYgULvjxwZ3uMQTl6Ol3ixeRBMOAu6IC07Kd7vyocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC34Lvj6vvp9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqLjOq88ULZwDTI8Mmlz6te4mwPESF6353YGSGheuR1VGRTE4QyyCo/wvzHgu6x23zSAIcz7UJg7XD2j6+FgTxq+23RPDCIw7GyC0p84t6lcuh/0/xE=
Hi,

Yes the .dir-locals.el is a good solution. Something like this should do the trick:

((nil
  . ((eval
      . (progn
 (setq coq-prog-name "/foo/bar/mycoq/bin/coqtop"))))))


Best regards,
Pierre


Le mar. 15 mars 2016 à 16:13, Paul A. Steckler <steck AT stecksoft.com> a écrit :
I have a couple of Coq installations, and use Proof General.

What's the easiest way to have Proof General switch between those installations?

I'd like it so that if I open a .v file in a particular directory
tree, it uses one of the
installations, otherwise it uses the other.

It looks like .dir-locals.el would be involved, but I haven't found
the right incantation.

-- Paul

Archive powered by MHonArc 2.6.18.

Top of Page