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.
*/*: Fix many Rust ports to run without COMPAT11
RISCV does not include COMPAT11 by default. But Rust's libc bound the
compat-11 symbols until version 0.2.176. Patch a great many Rust ports
to use a newer version of libc, to eliminate the dependency on COMPAT11.
Explicitly patching Cargo.lock isn't usually necessarily, since within
the build jail cargo is forced to use whichever crates Makefile.crates
installs there.
Notes on specific ports:
* textproc/bookokrat: Rework bookokrat's existing patch to be more
robust. Also, report the issue upstream:
https://github.com/bugzmanov/bookokrat/issues/182
(Only the first 15 lines of the commit message are shown above )
*/*: remove STRIP_CMD calls in rust based ports
This is not needed after bc4fedc1fec0d359365c04d43be9e32bf101a50e
PR: 246993
Differential Revision: https://reviews.freebsd.org/D46503
