[Agda-dev] Installing Agda

[Jesper Cockx]

Hi Juho,

It looks like the Cabal bin directory is not on your path. You can add it
by running "export PATH=$PATH:$HOME/.cabal/bin" (for the current session)
or adding this line to ~/.profile (for future sessions). Then you should be
able to run agda-mode setup to install the agda mode.

-- Jesper

On Thu, Nov 7, 2019 at 7:58 PM Juho Kupiainen <
juho.lauri.kupiainen at gmail.com> wrote:

> I'm having trouble installing Agda. I've tried
>
> sudo apt install emacs git ghc cabal-install alex happy
> cabal update
> cabal install Agda
> agda-mode setup
>
> But I get "agda-mode: command not found"
>
> I tried
> sudo apt-get update
> sudo apt-get install agda
> sudo apt-get install agda-mode
>
> But for some reason it installs Agda 2.5
>
> I also tried these instructions:
> https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes/blob/master/INSTALL.md
>
> But when I start emacs and open an Agda file, it doesn't look like emacs
> understands the syntax. There is no Agda menu.
>
> I need something that WILL work.
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20191108/5ed646c2/attachment.html>