From 0a24c49049a22b04d1f515007dbe3a7b6be07252 Mon Sep 17 00:00:00 2001 From: Jens Troeger Date: Mon, 30 Sep 2024 08:12:51 +1000 Subject: [PATCH] chore: fix Makefile goal `gnu-sed` to handle brew, port, and GNU sed on macOS gracefully Signed-off-by: Jens Troeger --- Makefile | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 9a58090d2..7bc5face9 100644 --- a/Makefile +++ b/Makefile @@ -174,8 +174,16 @@ souffle: .PHONY: gnu-sed gnu-sed: if [ "$(OS_DISTRO)" == "Darwin" ]; then \ - brew install gnu-sed; \ - fi + if ! command -v gsed; then \ + if command -v brew; then \ + brew install gnu-sed; \ + elif command -v port; then \ + sudo port install gsed; \ + else \ + echo "Unable to install GNU sed on macOS. Please install it manually." && exit 1; \ + fi; \ + fi; \ + fi; # Install or upgrade an existing virtual environment based on the # package dependencies declared in pyproject.toml.