[Agda] installing 2.6.2

[Jesper Cockx]

Hi Sergei,

If you have already downloaded the code you should not run `cabal install
Agda` since that will download the Agda source again from the Cabal
servers. Instead, you should simply run `cabal install` in the source
directory.

-- Jesper

On Tue, Dec 7, 2021 at 12:50 PM <mechvel at scico.botik.ru> wrote:

> Please,
> help to install Agda-2.6.2.
>
> It is on Ubuntu Linux 18.04, ghc-8.8.3, cabal-3.6.2.0.
>
> I un-archivate the source and command
>
>   $ cd 2.6.2
>   $ cabal update
>
>   Downloading the latest package list from hackage.haskell.org
>   Package list of hackage.haskell.org is up to date at index-state
> 2021-12-07T09:32:17Z
>
>   $ cabal install Agda
>
>   cabal: sdist of Agda-2.6.2: filepath wildcard 'doc/user-manual.pdf'
> does not
>   match any files.
>
> ?
>
> ------
> Sergei
> _______________________________________________
> 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/20211207/072d747b/attachment.html>