aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <[email protected]>2022-10-16 11:27:45 -0700
committerJohn MacFarlane <[email protected]>2022-10-16 11:29:07 -0700
commitd348dfa39ec82768dd9cfc8582d881bf8742501b (patch)
treecde6b030fced73be58cbef0427c2dadae3f616f6
parentd849fe4525e5bfc7e3a41a46f5487a5b246386b4 (diff)
'make help': add environment variables and default values.
-rw-r--r--Makefile13
1 files changed, 9 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 41c0e1124..cc1530376 100644
--- a/Makefile
+++ b/Makefile
@@ -2,10 +2,7 @@ version?=$(shell grep '^[Vv]ersion:' pandoc.cabal | awk '{print $$2;}')
pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1)
SOURCEFILES?=$(shell git ls-tree -r master --name-only | grep "\.hs$$")
PANDOCSOURCEFILES?=$(shell git ls-tree -r master --name-only src | grep "\.hs$$")
-BRANCH?=master
-ARCH=$(shell uname -m)
DOCKERIMAGE=registry.gitlab.b-data.ch/ghc/ghc4pandoc:9.2.3
-COMMIT=$(shell git rev-parse --short HEAD)
TIMESTAMP=$(shell date "+%Y%m%d_%H%M")
LATESTBENCH=$(word 1,$(shell ls -t bench_*.csv 2>/dev/null))
BASELINE?=$(LATESTBENCH)
@@ -226,6 +223,14 @@ git-files.txt: .FORCE
git ls-tree -r --name-only HEAD | grep '^\(test\|data\)\/' | sort > $@
help: ## display this help
- @grep -E '^[ a-zA-Z_-]+:.*?## .*$$' $(MAKEFILE_LIST) | sort | awk 'BEGIN {FS = ":.*?## "}; {printf "%-30s %s\n", $$1, $$2}'
+ @echo "Targets:"
+ @grep -E '^[ a-zA-Z_-]+:.*?## .*$$' $(MAKEFILE_LIST) | sort | awk 'BEGIN {FS = ":.*?## "}; {printf "%-16s %s\n", $$1, $$2}'
+ @echo
+ @echo "Environment variables with default values:"
+ @printf "%-16s%s\n" "CABALOPTS" "$(CABALOPTS)"
+ @printf "%-16s%s\n" "GHCOPTS" "$(GHCOPTS)"
+ @printf "%-16s%s\n" "TESTARGS" "$(TESTARGS)"
+ @printf "%-16s%s\n" "BASELINE" "$(BASELINE)"
+ @printf "%-16s%s\n" "REVISION" "$(REVISION)"
.PHONY: help