Zulip Chat Archive

Stream: general

Topic: nixos-setup

Matei Adriel (Mar 17 2022 at 17:43):

Hi! What is the best way to install lean4 globally on a nixos machine? I can only find lean3 on nixpkgs

Matei Adriel (Mar 17 2022 at 17:45):

hmmm, I just came across elan, I'll try that

Sebastian Ullrich (Mar 17 2022 at 17:46):

Yes, that is probably the best option right now. The lean4 repository is in fact a flake, but that is more suitable for working on Lean than in Lean (as it doesn't even come with Lake).

Matei Adriel (Mar 17 2022 at 17:47):

Thanks! @Sebastian Ullrich

Gabriel Ebner (Mar 17 2022 at 17:49):

Note that you need to use the nixpkgs elan on nixos, because we run patchelf after downloading lean (just like rustup).

Matei Adriel (Mar 17 2022 at 17:50):

What do you mean? Do I need to do anything else besides adding pkgs.elan to my config?

Gabriel Ebner (Mar 17 2022 at 17:56):

No, that's exactly what you should do. Just don't curl-bash the elan like in the readme.

Matei Adriel (Mar 17 2022 at 17:57):

Thanks! It seems to be working fine!

Matei Adriel (Mar 17 2022 at 17:57):

Excited to try this out

Last updated: Dec 20 2023 at 11:08 UTC