[Agda] hints on switching between Agda versions

[Adam Sandberg Eriksson]

> What I haven't managed to find out yet is how to change the default version of Agda used by emacs.

There is a customisation option “Agda2 Program Name” in the emacs mode which you can set from
  M-x customize-group agda2
or by putting
  (setq agda2-program-name “path”)
in your emacs config.

—Adam

> On 17 Nov 2016, at 12:34, Jesper Cockx <Jesper at sikanda.be> wrote:
> 
> This is what I noticed:
> 
> 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.
> 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).
> 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.
> 
> Jesper
> 
> On Thu, Nov 17, 2016 at 12:24 PM, Martin Escardo <m.escardo at cs.bham.ac.uk> wrote:
> I also would like to know an answer to this.
> 
> At the moment what I do is to have directories cabal-1, cabal-2 (with
> more meaningful names) with different versions of Agda, and move them to
> .cabal (and back) to switch versions. This is not very elegant, but
> works...
> 
> Martin
> 
> On 17/11/16 10:33, Andrew Pitts wrote:
> > I try to stick to using the latest release version of Agda, but
> > recently I find I need to use the development version as well. I want
> > to be able to use both on the same machine in as simple a way as
> > possible.
> >
> > Installation: Is there a recommended way of installing two different
> > versions of Agda while sharing as much Haskell infrastructure as
> > possible? (I use Mac OSX , or macOS as we are now supposed to call
> > it).
> >
> > Use: I see there is an emacs agda-mode menu item “Switch to another
> > version of Agda”. How does one configure agda-mode to make that work?
> >
> > Any hints or tips gratefully received.
> >
> > Andy
> > _______________________________________________
> > Agda mailing list
> > Agda at lists.chalmers.se
> > https://lists.chalmers.se/mailman/listinfo/agda
> >
> 
> --
> Martin Escardo
> http://www.cs.bham.ac.uk/~mhe
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda