<div dir="ltr"><div>This is what I noticed:<br></div><div><br>If you run 'cabal install' with the option '--program-suffix=-xxx', then Agda will be installed under the name agda-xxx. You can then switch Agda versions using the emacs command by entering the name of the binary.<br></div><div>If you run 'make install' and you are on a branch different from master (e.g. stable-2.5) then cabal-install will be called with an appropriate value for --program-suffix (e.g. --program-suffix=-2.5.2).<br></div><div>What I haven't managed to find out yet is how to change the default version of Agda used by emacs. I guess you could just add some command to your .emacs file though.<br></div><div><br></div>Jesper<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Nov 17, 2016 at 12:24 PM, Martin Escardo <span dir="ltr"><<a href="mailto:m.escardo@cs.bham.ac.uk" target="_blank">m.escardo@cs.bham.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I also would like to know an answer to this.<br>
<br>
At the moment what I do is to have directories cabal-1, cabal-2 (with<br>
more meaningful names) with different versions of Agda, and move them to<br>
.cabal (and back) to switch versions. This is not very elegant, but<br>
works...<br>
<br>
Martin<br>
<div class="HOEnZb"><div class="h5"><br>
On 17/11/16 10:33, Andrew Pitts wrote:<br>
> I try to stick to using the latest release version of Agda, but<br>
> recently I find I need to use the development version as well. I want<br>
> to be able to use both on the same machine in as simple a way as<br>
> possible.<br>
><br>
> Installation: Is there a recommended way of installing two different<br>
> versions of Agda while sharing as much Haskell infrastructure as<br>
> possible? (I use Mac OSX , or macOS as we are now supposed to call<br>
> it).<br>
><br>
> Use: I see there is an emacs agda-mode menu item “Switch to another<br>
> version of Agda”. How does one configure agda-mode to make that work?<br>
><br>
> Any hints or tips gratefully received.<br>
><br>
> Andy<br>
> ______________________________<wbr>_________________<br>
> Agda mailing list<br>
> <a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
> <a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
><br>
<br>
</div></div><span class="HOEnZb"><font color="#888888">--<br>
Martin Escardo<br>
<a href="http://www.cs.bham.ac.uk/~mhe" rel="noreferrer" target="_blank">http://www.cs.bham.ac.uk/~mhe</a><br>
</font></span><div class="HOEnZb"><div class="h5">______________________________<wbr>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div>