Added support for automatically generating a licenses.txt file when building a binary distribution, which includes the licenses for all Cabal dependencies, as well as the licenses for gmp, icu, and zlib.
- The input
agda-stdlib-defaultwas removed in favour ofagda-defaults. - The support for installing Agda from the GitHub tool cache was removed, since Agda isn't in the tool cache, and dreaming proved too much work.
There have been numerous bug fixes to account for either changes in behaviour of the GitHub runners (e.g., trailing newlines in pkg-config output) or in corner cases (e.g., use-cases which use Agda's allowlist for executables).
Added support for automatically installing libraries from Git repositories, and for registering libraries, defaults, and executables.
Takes a list of Agda libraries to install, specified by their Git URL and end in a version anchor, e.g.,
agda-libraries: |
https://github.com/agda/agda-categories.git#v0.1.7.1
https://github.com/agda/cubical.git#v0.3To setup the Agda standard library, use "agda-stdlib-version" instead, as that ensures that the standard library and Agda versions are compatible.
This input requires that the library has a tagged release and that the repository contains a .agda-lib file, and relies on the convention that the filename of the .agda-lib file is the name of the library, and will refuse to install any library whose .agda-lib file is simple named ".agda-lib".
Takes a list of installed Agda libraries to add to defaults.
agda-defaults: |
agda-categories
cubicalTakes a list of executables to register with Agda. Executables must be specified by their name or path, e.g.,
agda-executables: |
z3
/bin/shFixed a bug where providing a concrete version number for agda-stdlib-version would cause the action to fail.
First version.