Zulip Chat Archive

Stream: general

Topic: custom lean in elan

Reid Barton (Jan 11 2019 at 12:54):

Is there some low-tech way to just copy files in ~/.elan around if I want to try running Lean with a modified core library?
Say by cd ~/.elan; cp -a lean-3.4.1 lean-3.4.1a? Probably I need to do something else, as well?

Gabriel Ebner (Jan 11 2019 at 13:00):

This should work. You can also add symlinks to a lean git checkout.

Reid Barton (Jan 11 2019 at 14:20):

It did just work.

Last updated: Dec 20 2023 at 11:08 UTC