diff options
| author | Lockywolf <for_sbo.lean-elan_2023-09-21@lockywolf.net> | 2023-09-23 13:02:24 +0900 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2023-09-23 11:33:38 +0700 |
| commit | f8a76014b33cf6a01694ba10690963f1b7fb0b10 (patch) | |
| tree | 231af3043dd83875ee3bf368264089e12f1f7e85 /development/lean-elan/README | |
| parent | 1d238efb1343b637b87cce117dc8ca86a0028191 (diff) | |
development/lean-elan: Added (version manager).
Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/lean-elan/README')
| -rw-r--r-- | development/lean-elan/README | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/development/lean-elan/README b/development/lean-elan/README new file mode 100644 index 000000000000..ac103f4061cf --- /dev/null +++ b/development/lean-elan/README @@ -0,0 +1,19 @@ +elan is a small tool for managing your installations of the Lean +theorem prover. It places lean and lake binaries in your PATH that +automatically select and, if necessary, download the Lean version +described in your project's lean-toolchain file. You can also install, +select, run, and uninstall Lean versions manually using the commands +of the elan executable. + +elan is basically a fork of rustup. Apart from new features and +adaptions to the Lean infrastructure, these are the basic changes to +the original code: + +Replaced every mention of rustup with elan, cargo with lake, and +rust(c) with lean Merged CARGO_HOME and RUSTUP_HOME Removed options to +configure host triple + +Note: elan is one of the ways to manage Lean toolchains. The SB author +cannot guarantee that it is the best one. Learning on the experience +of other GNU/Linux distributions, it might be reasonable to have other +packages from the lean-* package family in the future. |