genode/tool/ports/check_port_source
Stefan Kalkowski 684ce272e6 tool/ports: add tool to check source availability
The 'check_port_source' checks whether all remote sources defined for a given
port are currently available. It returns zero, when all remote resources are
available.

Fix 
2015-03-19 08:57:18 +01:00

28 lines
715 B
Makefile
Executable File

#!/usr/bin/make -f
#
# \brief Tool for checking remote 3rd-party sources
# \author Stefan Kalkowski
# \date 2015-03-04
#
#
# Determine Genode base directory based on the known location of the
# 'create_builddir' tool within the Genode source tree
#
export GENODE_DIR := $(realpath $(dir $(MAKEFILE_LIST))/../..)
include $(GENODE_DIR)/tool/ports/mk/front_end.inc
include $(GENODE_DIR)/tool/ports/mk/check_port_arg.inc
usage:
@$(ECHO)
@$(ECHO) "--- check remote sources of port ---"
@$(ECHO) "usage: check_port_source <port-name>"
@$(ECHO)
$(TARGET):
$(VERBOSE)$(MAKE) --no-print-directory \
-f $(GENODE_DIR)/tool/ports/mk/check.mk \
PORT=$(PORT) VERBOSE=$(VERBOSE)