max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
271 commits 1 branch 0 tags 5.3 GiB
Commit graph

3 commits

Author SHA1 Message Date
tydeu
b8b3f01c96 feat: add option to specify the lean used by Lake 
also:
* support `=` for long CLI options
* cleanup some typos in `InstallPath`
 2021-10-10 12:37:00 -04:00
tydeu
1d20cbd3d6 refacttor: check LEAN_SYSROOT rather than LEAN_HOME for Lean 2021-10-07 14:04:18 -04:00
tydeu
3bcd18a1c6 refactor: generalize Lean/Lake installation detection 2021-10-05 20:00:30 -04:00