[Agda] upgrading from 2.4.* to 2.5.1.1 (agda2-include-dirs problem)

Nils Anders Danielsson nad at cse.gu.se
Tue Oct 18 10:19:15 CEST 2016


On 2016-10-17 19:23, Jacques Carette wrote:
> I had set up a correct 'libraries' file, but I had not set up a
> 'defaults' file, as it wasn't obvious from the documentation that I
> needed both, as I am indeed using 2 libraries (the standard library
> and copumpkin/tomprince's categories library).

If something is unclear, then I think it would be great if you could
improve the wording and submit a pull request:

   https://github.com/agda/agda/blob/master/doc/user-manual/tools/package-system.rst

-- 
/NAD


More information about the Agda mailing list