[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