[Agda] installing agda-master with cabal on ubuntu

[Oleg Grenrus]

Hi Rick,

to install agda master locally you can simply do:

    touch doc/user-manual.pdf
    cabal v2-install agda agda-mode

I.e. you have to generate doc/user-manual.pdf before the package is built.
v2-install works by making an actual sdist tarball, and installing from
the tarball
(very similar to installing from Hackage: tarball is downloaded and then
installed).
All extra-source-files must be present, therefore also doc/user-manual.pdf
That explains why v2-build works and v2-install doesn't.

I don't know how to properly build doc/user-manual.pdf - but for local
installing it can be left empty.

- Oleg

On 20.2.2019 17.26, rick wrote:
> Thanks in advance.
>
> I am updating my install to agda-master using the new cabal commands.
>
> After a github clone, Cabal new-build appears to build without error
> ending in the following :
>
> ...
> /home/rick/agda-master/src/data/lib/prim/Agda/Primitive/Cubical.agda
> setup: filepath wildcard 'doc/user-manual.pdf' does not match any files.
>
> It creates a dist-newstyle folder with build, cache, packagedb, sdist
> and tmp directories.
>
> cabal new-install --lib appears to install without error ending in the
> following :
> resolving dependencies ... up to date
>
> However, cabal list --installed does not list Agda and Agda is not
> listed as a package under ~/.cabal/packages or ~/.cabal/lib.
>
> Do I just copy my Agda-2.6.0 directory into ~/.cabal/packages?
>
> I can execute agda interactively, etc. I'd just like to get the
> packaging right.
>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190221/41c4310f/attachment.sig>