genode/tool/ports/mk/common.inc

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

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

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 

# Force stable sorting order
export LC_COLLATE=C

#
# Utility to check if a tool is installed
#
check_tool = $(if $(shell which $(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`
			`#`

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

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
Ensure stable sorting order in tools This eliminates certain surprises with port contents and depot hashes. 2017-11-03 15:52:12 +00:00			`# Force stable sorting order`
			`export LC_COLLATE=C`
tool/ports: streamline hash tool usage 2018-05-15 13:37:24 +00:00
			`#`
			`# Utility to check if a tool is installed`
			`#`
			`check_tool = $(if $(shell which $(1)),,$(error Need to have '$(1)' installed.))`