mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 22:23:16 +00:00
d4975235c2
This patch replaces the toy downloader (that merely copied files locally, for testing) with the mechanics needed to download files from a www server. It also changes the use of GPG to use detached signatures. Issue #2339
43 lines
898 B
Makefile
Executable File
43 lines
898 B
Makefile
Executable File
#!/usr/bin/make -f
|
|
|
|
#
|
|
# \brief Download packages
|
|
# \author Norman Feske
|
|
# \date 2017-03-23
|
|
#
|
|
|
|
define HELP_MESSAGE
|
|
|
|
Download, verify, and uncompress depot content
|
|
|
|
usage:
|
|
|
|
$(firstword $(MAKEFILE_LIST)) <archive-path> {PUBLIC=<public>}
|
|
|
|
endef
|
|
|
|
export GENODE_DIR := $(realpath $(dir $(MAKEFILE_LIST))/../..)
|
|
|
|
PUBLIC_DIR ?= $(GENODE_DIR)/public
|
|
|
|
include $(GENODE_DIR)/tool/depot/mk/front_end.inc
|
|
|
|
# sanitize arguments
|
|
ARGS := $(subst ..,__,$(MAKECMDGOALS))
|
|
|
|
DEPENDENCIES_CMD = $(GENODE_DIR)/tool/depot/dependencies $(ARGS)
|
|
DOWNLOAD_CMD = $(GENODE_DIR)/tool/depot/mk/downloader VERBOSE=$(VERBOSE)
|
|
|
|
.PHONY: download
|
|
download:
|
|
$(VERBOSE)\
|
|
while true; do \
|
|
if $(DEPENDENCIES_CMD) > /dev/null 2> /dev/null; then break; fi; \
|
|
missing_deps=`$(DEPENDENCIES_CMD) 2> /dev/null | sed -n "/^ /s/ *//p"`; \
|
|
$(DOWNLOAD_CMD) $$missing_deps || break; \
|
|
done;
|
|
|
|
$(MAKECMDGOALS): download
|
|
@true
|
|
|