From bd5365030e5c980389311dc2e752d694cde36c91 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 10 Jun 2026 10:47:00 +0000 Subject: [PATCH 1/3] Add GNU make check to root Makefile --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index f6350317..8bb41100 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,7 @@ +ifeq ($(origin MAKE_VERSION),undefined) + $(error GNU make is required. Please install GNU make and re-run.) +endif + .PHONY: all configure pkgs pre-stow quick stow MKFILE_PATH := $(shell dirname $(realpath $(firstword $(MAKEFILE_LIST)))) From 8efb51d8b1369769fc4cc4b9cbe87d4e36ccdcf3 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 10 Jun 2026 10:50:34 +0000 Subject: [PATCH 2/3] Update progress on make version check --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8bb41100..5c62cc34 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,9 @@ ifeq ($(origin MAKE_VERSION),undefined) - $(error GNU make is required. Please install GNU make and re-run.) + $(error GNU make >= 4 is required. Please install GNU make and re-run.) +endif + +ifeq ($(shell [ "$(firstword $(subst ., ,$(MAKE_VERSION)))" -ge 4 ] && echo ok),) + $(error GNU make >= 4 is required. Found version $(MAKE_VERSION).) endif .PHONY: all configure pkgs pre-stow quick stow From 2803ae1b075faba982a5268bd6a686c32da3597c Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 10 Jun 2026 10:52:35 +0000 Subject: [PATCH 3/3] Enforce GNU make major version 4+ in root Makefile --- Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 5c62cc34..5f4f24f6 100644 --- a/Makefile +++ b/Makefile @@ -1,9 +1,10 @@ ifeq ($(origin MAKE_VERSION),undefined) - $(error GNU make >= 4 is required. Please install GNU make and re-run.) + $(error GNU make >= 4 is required. MAKE_VERSION is undefined, so GNU make may not be installed or in use. Run 'make --version' to verify.) endif -ifeq ($(shell [ "$(firstword $(subst ., ,$(MAKE_VERSION)))" -ge 4 ] && echo ok),) - $(error GNU make >= 4 is required. Found version $(MAKE_VERSION).) +MAKE_MAJOR := $(firstword $(subst ., ,$(MAKE_VERSION))) +ifneq ($(filter 0 1 2 3,$(MAKE_MAJOR)),) + $(error GNU make >= 4 is required. Found version $(MAKE_VERSION). Run 'make --version' to check your current version.) endif .PHONY: all configure pkgs pre-stow quick stow