Add support for Lean 4's elan (#742)

2024-03-15 18:35:47 -07:00
parent 2c1ce3d4e6
commit 9518f43866
3 changed files with 13 additions and 0 deletions
--- a/src/main.rs
+++ b/src/main.rs
@@ -342,6 +342,7 @@ fn run() -> Result<()> {

    // The following update function should be executed on all OSes.
    runner.execute(Step::Fossil, "fossil", || generic::run_fossil(&ctx))?;
+    runner.execute(Step::Elan, "elan", || generic::run_elan(&ctx))?;
    runner.execute(Step::Rustup, "rustup", || generic::run_rustup(&ctx))?;
    runner.execute(Step::Juliaup, "juliaup", || generic::run_juliaup(&ctx))?;
    runner.execute(Step::Dotnet, ".NET", || generic::run_dotnet_upgrade(&ctx))?;