/badge.svg){kind=icon}
Prebuilt, static-linked Agda binary for Linux. Serving as an alternative to official nightly builds. (They provide artifacts, too!)
Download the artifact either in one of actions pages (requires login!) or in the release page.
Extract the artifact archive. The main executable is ./agda. Execute it with some arbitary file as the first argument and observe its output.
$ ./agda /dev/null
# vvvvvvvv HERE vvvvvvvv
agda: The lib directory /usr/local/bin/....../ does not exist
CallStack (from HasCallStack):
error, called at src/full/Agda/Interaction/Options.hs:1173:8 in Agda-2.6.1-GBHAfzS8PHnCeWrfMQtOCD:Agda.Interaction.OptionsYou need to extract the /lib folder and copy it to the indicated location.
Note: Due to that the prefix is hardcoded in the program, I have to set it to a system-wide directory /usr/local. You may need root permissions to copy the resources into it.
If you can't manage to do it, an environment variable Agda_datadir is required whenever you want to invoke agda. It should point to the library folder directly (related issue). Maybe I should write a simple wrapper script for this.
- In cabal v2+, prefix is actually ignored: haskell/cabal#5628 (comment)
- (low priority) To enable cluster counting: https://github.com/4e6/text-icu-static-example