We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
gnu-sed
1 parent 718c085 commit 0a24c49Copy full SHA for 0a24c49
Makefile
@@ -174,8 +174,16 @@ souffle:
174
.PHONY: gnu-sed
175
gnu-sed:
176
if [ "$(OS_DISTRO)" == "Darwin" ]; then \
177
- brew install gnu-sed; \
178
- fi
+ if ! command -v gsed; then \
+ if command -v brew; then \
179
+ brew install gnu-sed; \
180
+ elif command -v port; then \
181
+ sudo port install gsed; \
182
+ else \
183
+ echo "Unable to install GNU sed on macOS. Please install it manually." && exit 1; \
184
+ fi; \
185
186
+ fi;
187
188
# Install or upgrade an existing virtual environment based on the
189
# package dependencies declared in pyproject.toml.
0 commit comments