-
Notifications
You must be signed in to change notification settings - Fork 76
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Support installation from tarball #63
Comments
(The singler-user installation workaround I'm doing there doesn't seem to work well and it looks like it might be removed from the macOS setup soon anyway, so I'd be glad to switch back to using |
@Kha what problem are you trying to solve, it's not clear to me :) |
The goal was to install arbitrary Nix master versions, so I suppose this will be covered by NixOS/nix#4549. Just for the record, the main advantage of using tarballs directly is that the only dependency is Nix Hydra, but with the downside that you have to find the correct URL per platform. |
I'm fine adding tarball support if someone wants to take a try :) |
In contrast to the install script, tarballs can be sourced directly from Hydra: https://github.com/leanprover/lean4/blob/e8b58abffcf2eadc436435cf6e6733827d818ed6/.github/workflows/nix-ci.yml#L34-L44
The text was updated successfully, but these errors were encountered: