[Agda] Installing libraries

[Nils Anders Danielsson]

On 2017-11-10 19:24, Ulf Norell wrote:
> One possibility might be to add support for local 'libraries' files. That way you could distribute
> your project together with a special libraries file for the funky dependencies, without cluttering
> the agda-lib file with explicit paths.

One can already give the path to the library file on the command line.
However, I think the paths in that file have to be absolute. Perhaps
they could also be allowed to be relative to the location of the file.

-- 
/NAD