diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-30 10:56:42 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-30 10:56:42 +0200 |
| commit | 61d5c061da12c06781710c80a9024d73efa035cc (patch) | |
| tree | 945939f32a8958cc05d8e0052924d7fb72d3f2f1 | |
| parent | docker: bump base image (diff) | |
| download | cv-61d5c061da12c06781710c80a9024d73efa035cc.tar.gz cv-61d5c061da12c06781710c80a9024d73efa035cc.zip | |
Makefile: move the prelude to prelude.mk
| -rw-r--r-- | Makefile | 22 | ||||
| -rw-r--r-- | prelude.mk | 23 |
2 files changed, 24 insertions, 21 deletions
@@ -1,24 +1,4 @@ -MAKEFLAGS += --no-builtin-rules --no-builtin-variables --warn-undefined-variables -unexport MAKEFLAGS -.DEFAULT_GOAL := all -.DELETE_ON_ERROR: -.SUFFIXES: -SHELL := bash -.SHELLFLAGS := -eu -o pipefail -c - -escape = $(subst ','\'',$(1)) - -define noexpand -ifeq ($$(origin $(1)),environment) - $(1) := $$(value $(1)) -endif -ifeq ($$(origin $(1)),environment override) - $(1) := $$(value $(1)) -endif -ifeq ($$(origin $(1)),command line) - override $(1) := $$(value $(1)) -endif -endef +include prelude.mk MKDIR := mkdir -p -- RMDIR := rm -r -- diff --git a/prelude.mk b/prelude.mk new file mode 100644 index 0000000..374111e --- /dev/null +++ b/prelude.mk @@ -0,0 +1,23 @@ +# Please see https://egort.name/blog/notes/makefile.html + +MAKEFLAGS += --no-builtin-rules --no-builtin-variables --warn-undefined-variables +unexport MAKEFLAGS +.DEFAULT_GOAL := all +.DELETE_ON_ERROR: +.SUFFIXES: +SHELL := bash +.SHELLFLAGS := -eu -o pipefail -c + +escape = $(subst ','\'',$(1)) + +define noexpand +ifeq ($$(origin $(1)),environment) + $(1) := $$(value $(1)) +endif +ifeq ($$(origin $(1)),environment override) + $(1) := $$(value $(1)) +endif +ifeq ($$(origin $(1)),command line) + override $(1) := $$(value $(1)) +endif +endef |