mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 10:24:07 +00:00

Files

Kim Morrison 0f7f80aff5 fix: indicate dependency on pkgconf in ubuntu docs (#6646 )

This PR changes the ubuntu docs to indicate that Lean now requires
pkgconf to build.

This is a companion to #6643, but I can't push directly to that branch.

2025-01-15 05:30:20 +00:00

277 B

Raw Permalink Blame History

Installing Lean on Ubuntu

Build Dependencies

Please ensure you have the following build tools available and then follow the generic build instructions.

Basic packages

sudo apt-get install git libgmp-dev libuv1-dev cmake ccache clang pkgconf

277 B Raw Permalink Blame History

Installing Lean on Ubuntu

Build Dependencies

Basic packages

277 B

Raw Permalink Blame History