mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
9d778a658d
This patch splits the download of signatures from the download of the archive to improve robustness. This way, signature files will be downloaded even if the corresponding archive is already in place. Issue #748
43 lines
1.4 KiB
Makefile
43 lines
1.4 KiB
Makefile
READLINE = readline-6.0
|
|
READLINE_TGZ = $(READLINE).tar.gz
|
|
READLINE_SIG = $(READLINE_TGZ).sig
|
|
READLINE_BASE_URL = ftp://ftp.gnu.org/gnu/readline
|
|
READLINE_URL = $(READLINE_BASE_URL)/$(READLINE_TGZ)
|
|
READLINE_URL_SIG = $(READLINE_BASE_URL)/$(READLINE_SIG)
|
|
READLINE_KEY = GNU
|
|
|
|
#
|
|
# Interface to top-level prepare Makefile
|
|
#
|
|
PORTS += $(READLINE)
|
|
|
|
prepare-readline: $(CONTRIB_DIR)/$(READLINE)
|
|
|
|
$(CONTRIB_DIR)/$(READLINE): clean-readline
|
|
|
|
#
|
|
# Port-specific local rules
|
|
#
|
|
$(DOWNLOAD_DIR)/$(READLINE_TGZ):
|
|
$(VERBOSE)wget -c -P $(DOWNLOAD_DIR) $(READLINE_URL) && touch $@
|
|
|
|
$(DOWNLOAD_DIR)/$(READLINE_SIG):
|
|
$(VERBOSE)wget -c -P $(DOWNLOAD_DIR) $(READLINE_URL_SIG) && touch $@
|
|
|
|
$(DOWNLOAD_DIR)/$(READLINE_TGZ).verified: $(DOWNLOAD_DIR)/$(READLINE_TGZ) \
|
|
$(DOWNLOAD_DIR)/$(READLINE_SIG)
|
|
$(VERBOSE)$(SIGVERIFIER) $(DOWNLOAD_DIR)/$(READLINE_TGZ) $(DOWNLOAD_DIR)/$(READLINE_SIG) $(READLINE_KEY)
|
|
$(VERBOSE)touch $@
|
|
|
|
READLINE_HEADERS := rlstdc.h rltypedefs.h keymaps.h tilde.h
|
|
|
|
$(CONTRIB_DIR)/$(READLINE): $(DOWNLOAD_DIR)/$(READLINE_TGZ).verified
|
|
$(VERBOSE)tar xfz $(<:.verified=) -C $(CONTRIB_DIR) && touch $@
|
|
@# create symbolic links for public headers from contrib dir
|
|
$(VERBOSE)for i in $(READLINE_HEADERS); do \
|
|
ln -sf ../../$(CONTRIB_DIR)/$(READLINE)/$$i include/readline/; done
|
|
|
|
clean-readline:
|
|
$(VERBOSE)rm -f $(addprefix include/readline/,$(READLINE_HEADERS))
|
|
$(VERBOSE)rm -rf $(CONTRIB_DIR)/$(READLINE)
|