5 commits

Author	SHA1	Message	Date
Anmol Sethi	6e52966b52	install.sh: Improve default $PREFIX behaviour ... As before we default to /usr/local but now we switch to ~/.local if /usr/local if not accessible instead of prompting for sudo. Instead of having an exception for macOS/arm64. Of course if a user wants to install in /usr/local anyway, they can still pass --prefix /usr/local to force installation into /usr/local and prompt for sudo.	2022-12-05 22:15:58 -08:00
Anmol Sethi	a025393b36	ci/release: Use release.sh script in ci/sub	2022-11-14 05:37:11 -08:00
Anmol Sethi	2eff0d4caa	ci/release: DRYRUN -> DRY_RUN	2022-11-13 23:20:30 -08:00
Anmol Sethi	ee86426ef2	2022-11-12 02:19:09pm	2022-11-13 22:49:46 -08:00
Anmol Sethi	0a4aa50f4e	ci/release: Checkpoint	2022-11-13 22:49:45 -08:00