[Agda] hints on switching between Agda versions

[Jesper Cockx]

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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20161117/e037a60b/attachment.html