genode/tool/ports/mk/common.inc

#
# \brief  Common environment
# \author Norman Feske
# \date   2014-05-27
#

# compound directory where all 3rd-party source codes are installed
CONTRIB_DIR ?= $(GENODE_DIR)/contrib

SHELL   := bash
VERBOSE ?= @
ECHO    := echo -e

# limit destructive git operations (e.g., reset) to local directory
GIT := git --git-dir=.git

BRIGHT_COL  ?= \x1b[01;33m
DARK_COL    ?= \x1b[00;33m
DEFAULT_COL ?= \x1b[0m

MSG_PREFIX_TXT := $(DARK_COL)$(notdir $(PORT:.port=))  $(DEFAULT_COL)
MSG_PREFIX     := $(ECHO) "$(MSG_PREFIX_TXT)"
MSG_DOWNLOAD   := $(MSG_PREFIX)"download "
MSG_APPLY      := $(MSG_PREFIX)"apply "
MSG_UPDATE     := $(MSG_PREFIX)"update "
MSG_INSTALL    := $(MSG_PREFIX)"install "
MSG_GENERATE   := $(MSG_PREFIX)"generate "
MSG_EXTRACT    := $(MSG_PREFIX)"extract "
MSG_GIT        := $(MSG_PREFIX_TXT)git 

#
# Utility to check if a tool is installed
#
check_tool = $(if $(shell command -v $(1)),,$(error Need to have '$(1)' installed.))
Add 'update_hash' and 'list' to tool/ports Issue #1082 2014-05-27 10:07:42 +00:00			`#`
			`# \brief Common environment`
			`# \author Norman Feske`
			`# \date 2014-05-27`
			`#`

prepare_port: fix race condition in safety rule The safe guard Git repository in $(CONTRIB_DIR) may only be initialized once, regardless of the number of ports to be prepared. Issue #3235 2019-03-18 13:33:49 +00:00			`# compound directory where all 3rd-party source codes are installed`
			`CONTRIB_DIR ?= $(GENODE_DIR)/contrib`

Add 'update_hash' and 'list' to tool/ports Issue #1082 2014-05-27 10:07:42 +00:00			`SHELL := bash`
			`VERBOSE ?= @`
			`ECHO := echo -e`

tool/port: limit destructive git operations to port Issue #2959 2018-09-04 10:03:30 +00:00			`# limit destructive git operations (e.g., reset) to local directory`
			`GIT := git --git-dir=.git`

prepare_port: prefix git clone output To raise readability when preparing multiple ports in parallel we prefix also the git clone output with the port name dark-yellow-coloured. To achieve this we sed the git output. In sed \x1b[ resolves to an escape sequence and \033[, that we use normally, doesn't. The echo command, at the other hand, resolves both to an escape sequence. Thus we use the sed-compatible version in general. This commit inhibits the progress output of git clone as it can't be redirected to sed. Ref #1872 2016-02-05 10:28:44 +00:00			`BRIGHT_COL ?= \x1b[01;33m`
			`DARK_COL ?= \x1b[00;33m`
			`DEFAULT_COL ?= \x1b[0m`
Add 'update_hash' and 'list' to tool/ports Issue #1082 2014-05-27 10:07:42 +00:00
prepare_port: prefix git clone output To raise readability when preparing multiple ports in parallel we prefix also the git clone output with the port name dark-yellow-coloured. To achieve this we sed the git output. In sed \x1b[ resolves to an escape sequence and \033[, that we use normally, doesn't. The echo command, at the other hand, resolves both to an escape sequence. Thus we use the sed-compatible version in general. This commit inhibits the progress output of git clone as it can't be redirected to sed. Ref #1872 2016-02-05 10:28:44 +00:00			`MSG_PREFIX_TXT := $(DARK_COL)$(notdir $(PORT:.port=)) $(DEFAULT_COL)`
			`MSG_PREFIX := $(ECHO) "$(MSG_PREFIX_TXT)"`
			`MSG_DOWNLOAD := $(MSG_PREFIX)"download "`
			`MSG_APPLY := $(MSG_PREFIX)"apply "`
			`MSG_UPDATE := $(MSG_PREFIX)"update "`
			`MSG_INSTALL := $(MSG_PREFIX)"install "`
			`MSG_GENERATE := $(MSG_PREFIX)"generate "`
			`MSG_EXTRACT := $(MSG_PREFIX)"extract "`
			`MSG_GIT := $(MSG_PREFIX_TXT)git`
Add 'update_hash' and 'list' to tool/ports Issue #1082 2014-05-27 10:07:42 +00:00
tool/ports: streamline hash tool usage 2018-05-15 13:37:24 +00:00			`#`
			`# Utility to check if a tool is installed`
			`#`
Remove dependency from 'which' utility Debian declared the 'which' utility as deprecated. Fixes #4319 2021-11-08 20:15:54 +00:00			`check_tool = $(if $(shell command -v $(1)),,$(error Need to have '$(1)' installed.))`