The Coq mailing list

[Clément Pit--Claudel <clement.pit AT gmail.com>]

A tiny bit shorter, but functionally equivalent:

  ((coq-mode
    (coq-prog-name . "/foo/bar/mycoq/bin/coqtop")))

You can create such files easily with 
  M-x add-dir-local-variable RET coq-mode RET coq-prog-name RET 
"/foo/bar/mycoq/bin/coqtop"

Clément.

On 03/15/2016 11:27 AM, Pierre Courtieu wrote:
> 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
>  
> <mailto: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
>

Attachment: signature.asc
Description: OpenPGP digital signature