3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-14 12:58:45 +00:00

Makefile: Replace wget with curl

This commit is contained in:
Krystine Sherwin 2024-07-19 14:36:28 +12:00
parent cfb35d2283
commit e1f53c1875
No known key found for this signature in database
2 changed files with 5 additions and 5 deletions

View file

@ -125,7 +125,7 @@ jobs:
shell: bash
run: |
! make check-git-abc
make wget-abc
make curl-abc
- name: Build
shell: bash

View file

@ -791,24 +791,24 @@ check-git-abc:
echo "4. Reapply your changes: Move your saved changes back to the 'abc' directory, if necessary."; \
exit 1; \
elif git status 2>&1 | grep 'fatal: not a git repository'; then \
echo "Did 'yosys' come from a release tarball? Try call 'make wget-abc' to download matching 'abc' tarball."; \
echo "Did 'yosys' come from a release tarball? Try call 'make curl-abc' to download matching 'abc' tarball."; \
exit 1; \
else \
echo "Initialize the submodule: Run 'git submodule update --init' to set up 'abc' as a submodule."; \
exit 1; \
fi
.PHONY: wget-abc
.PHONY: curl-abc
ABC_TAR := abc.tar.gz
YOSYS_TAG := $(word 1,$(subst +, ,$(YOSYS_VER)))
ABC_TAR_URL := https://github.com/YosysHQ/yosys/releases/download/yosys-$(YOSYS_TAG)/$(ABC_TAR)
wget-abc:
curl-abc:
@if [ -z "$$(find abc -type d -prune -empty 2>&1)" ]; then \
echo "Error: The 'abc' directory already has contents. Clear 'abc' directory before continuing."; \
exit 1; \
else \
mkdir -p abc; \
wget -nc "$(ABC_TAR_URL)"; \
curl -O -J -L "$(ABC_TAR_URL)"; \
echo "Extracting '$(ABC_TAR)' contents."; \
tar xzf $(ABC_TAR) -C abc --strip-components=1; \
fi