fix: indicate dependency on pkgconf in macOS docs (#6643)

This PR changes the macOS docs to indicate that Lean now requires pkgconf to build.
leanprover · Jan 14, 2025 · 3da7f70 · 3da7f70
1 parent 8e5a3e4
commit 3da7f70
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/doc/make/osx-10.9.md b/doc/make/osx-10.9.md
@@ -32,12 +32,13 @@ following to use `g++`.
 cmake -DCMAKE_CXX_COMPILER=g++ ...
 ```
 
-## Required Packages: CMake, GMP, libuv
+## Required Packages: CMake, GMP, libuv, pkgconf
 
 ```bash
 brew install cmake
 brew install gmp
 brew install libuv
+brew install pkgconf
 ```
 
 ## Recommended Packages: CCache