[Agda] installing 2.6.2

[mechvel at scico.botik.ru]

On 2021-12-07 15:11, Orestis Melkonian wrote:
> Do `touch doc/user-manual.pdf` before installing, or try to make the
> manual with `make user-manual-pdf`.
> 

It works. Thank you.

--
SM


> 
> On 07/12/2021 11:49, 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
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda