agda-stdlib [ new ] install script for the standard library

[x] Start by checking the required unix utils are installed
[x] Run through https://www.shellcheck.net/
[x] Add documentation (including in release checklist)
[x] Add curl-based command for users to run

For testing purposes, using the latest version of the script on my branch:

sh -c "$(curl --proto '=https' --tlsv1.2 -s https://raw.githubusercontent.com/gallais/agda-stdlib/refs/heads/install-script/stdlib-install.sh)"

Nov 25 '25 23:11 gallais

In theory this looks great.

How cross platform is this and what do we need to do to support a new release? It looks like we just update the lookup table?

Nov 26 '25 02:11 MatthewDaggitt

It won't work on windows but I'm keeping it as simple as possible in the hope it'd work on any unix style system. So far we only need simple things like /bin/sh, grep, echo, true, read.

And, indeed, the only update would be to the lookup table.

Nov 26 '25 07:11 gallais

I am quite happy with the current script.

I have included a command you can copy/paste in a terminal to test it.

Dec 10 '25 17:12 gallais

Hmm. I think defaults-2.9.0 is not actually supported by Agda. Meaning the only solution is to shove standard-library in the global defaults even though it may not be installed for all the compiler's versions. :(

I'll open a PR to Agda to add support for defaults-X.Y.Z but that will only work for future versions. :(

Dec 12 '25 14:12 gallais