From f88cc2831d7828bb23ef8050ecfe6acff113c9ff Mon Sep 17 00:00:00 2001 From: Jonathan Rascher Date: Wed, 18 Nov 2020 22:25:14 -0600 Subject: [PATCH] docs: Bump minimum CMake version to 3.15 --- docs/docs/dev-setup.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/docs/docs/dev-setup.md b/docs/docs/dev-setup.md index 864574a4..b0d765da 100644 --- a/docs/docs/dev-setup.md +++ b/docs/docs/dev-setup.md @@ -70,8 +70,10 @@ sudo apt install -y \ ``` :::note -Ubuntu 18.04 LTS release packages a version of CMake that is too old. Please upgrade to Ubuntu 20.04 LTS -or download and install CMake version 3.13.1 or newer manually. +Recent LTS releases of Debian and Ubuntu may include outdated CMake versions. If +the output of `cmake --version` is older than 3.15, upgrade your distribution +(e.g., from Ubuntu 18.04 LTS to Ubuntu 20.04 LTS), or else install CMake version +3.15 or newer manually (e.g, from Debian backports or by building from source). :::