Zulip Chat Archive

Stream: general

Topic: custom lean in elan


view this post on Zulip 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?

view this post on Zulip Gabriel Ebner (Jan 11 2019 at 13:00):

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

view this post on Zulip Reid Barton (Jan 11 2019 at 14:20):

It did just work.


Last updated: May 16 2021 at 05:21 UTC