The Coq mailing list

["Paul A. Steckler" <steck AT stecksoft.com>]

Never mind, that's a bug in my compilation of coqtop.

-- Paul

On Tue, Mar 15, 2016 at 12:10 PM, Paul A. Steckler 
<steck AT stecksoft.com>
 wrote:
> Thanks, that gives me the right coqtop.
>
> But the wrong .vo files are being loaded. I need to set coq-prog-args,
> or something else?
>
> -- Paul
>
> On Tue, Mar 15, 2016 at 11:27 AM, Pierre Courtieu
> <pierre.courtieu AT gmail.com>
>  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>
>>  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