mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 00:11:07 +00:00
49 lines
1.5 KiB
PHP
49 lines
1.5 KiB
PHP
|
#
|
||
|
# \brief Common front-end code shared among different ports tools
|
||
|
# \author Norman Feske
|
||
|
# \date 2014-05-27
|
||
|
#
|
||
|
|
||
|
include $(GENODE_DIR)/tool/ports/mk/common.inc
|
||
|
|
||
|
#
|
||
|
# Always execute the $(TARGET) rule regardless of the supplied command-line
|
||
|
# argument
|
||
|
#
|
||
|
TARGET := $(MAKECMDGOALS) default
|
||
|
$(MAKECMDGOALS) default:
|
||
|
|
||
|
# the single argument is the name of the port to prepare
|
||
|
ARGUMENT := $(MAKECMDGOALS)
|
||
|
PORT_NAME := $(firstword $(ARGUMENT))
|
||
|
|
||
|
# list of all repositories located at '<genode-dir>/repos/'
|
||
|
REPOSITORIES ?= $(shell find $(GENODE_DIR)/repos -follow -mindepth 1 -maxdepth 1 -type d)
|
||
|
|
||
|
# list of all repositories that contain ports of 3rd-party source code
|
||
|
_REP_PORTS_DIRS := $(wildcard $(addsuffix /ports,$(REPOSITORIES)))
|
||
|
|
||
|
# list of all available ports
|
||
|
_PORTS := $(foreach DIR,$(_REP_PORTS_DIRS),$(wildcard $(DIR)/*.port))
|
||
|
|
||
|
# port file to use
|
||
|
PORT := $(filter %/$(PORT_NAME).port,$(_PORTS))
|
||
|
|
||
|
# repository that contains the port description, used to look up patch files
|
||
|
REP_DIR := $(realpath $(dir $(PORT))/..)
|
||
|
|
||
|
# read hash that uniquely identifies the version to install
|
||
|
HASH_FILE := $(wildcard $(PORT:.port=.hash))
|
||
|
HASH := $(if $(HASH_FILE),$(shell cat $(HASH_FILE)),)
|
||
|
|
||
|
# path to hash file relative to '<genode-dir>/repos', used for error messages
|
||
|
_REL_HASH_FILE := $(notdir $(REP_DIR))/ports/$(notdir $(PORT))
|
||
|
|
||
|
# directory where to install the port
|
||
|
PORT_DIR := $(CONTRIB_DIR)/$(PORT_NAME)-$(HASH)
|
||
|
|
||
|
# path to hash file generated during installation
|
||
|
PORT_HASH_FILE := $(PORT_DIR)/$(PORT_NAME).hash
|
||
|
|
||
|
# vi: set ft=make :
|