[Agda] several agda versions
Andreas Abel
andreas.abel at ifi.lmu.de
Sat Jun 6 21:47:36 CEST 2020
Hi Thorsten,
E.g. with
cabal install Agda-2.6.1 --program-suffix=-2.6.1
you get agda-2.6.1 and then in emacs with
C-c C-x C-s 2.6.1 RETURN
You can switch to this version of Agda. Switching back to just agda
would be
C-c C-x C-s RETURN
If you want to install a branch I suppose you could do
git checkout <branch>
cabal install --program-suffix=-<branch>
which gives you agda-<branch>. You switch to it in emacs with
C-c C-x C-s <branch> RETURN
(I don't know stack really.)
Hope this works,
Andreas
On 2020-06-06 15:10, Thorsten Altenkirch wrote:
> Hi,
>
> As an aftermath of the Agda meeting it seems that I need to play with
> several agda branches. How can I install and switch between different
> versions?
>
> I am using stack but if you tell me how to do it with cabal directly I
> may be able to figure it out anyway.
>
> Cheers,
>
> Thorsten
>
> This message and any attachment are intended solely for the addressee
> and may contain confidential information. If you have received this
> message in error, please contact the sender and delete the email and
> attachment.
>
> Any views or opinions expressed by the author of this email do not
> necessarily reflect the views of the University of Nottingham. Email
> communications with the University of Nottingham may be monitored
> where permitted by law.
>
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
More information about the Agda
mailing list