Oct 14, 2026, 10:44 PM@dysfun bootstrap and bootstrap-stage3 are not set at all. they are commented out. what would enabling one of these do for me?
- Oct 14, 2026, 10:44 PM
Replies
gaytabasedysfun@treehouse.systemsOct 14, 2026, 10:49 PM@mcc i don't know what the stage 3 thing is.
pack will let you use your existing idris to build idris. if it's too old to compile the new idris you will be forced to bootstrap (which uses the precompiled chez version in the repo)