From 725209fb290802b37400ae8b66a80819646e904e Mon Sep 17 00:00:00 2001
From: Nicola Fontana <ntd@entidi.it>
Date: Fri, 10 Oct 2014 10:43:11 +0200
Subject: [PATCH] build: allow verbose build in nodist

Use "make" or "make V=0" to get the usual silent build but allow
"make V=1" for verbose build. This is required while debugging.
---
 nodist/Makefile | 43 +++++++++++++++++++++++++++++++------------
 1 file changed, 31 insertions(+), 12 deletions(-)

diff --git a/nodist/Makefile b/nodist/Makefile
index 4bd71d77..4d8c02a7 100644
--- a/nodist/Makefile
+++ b/nodist/Makefile
@@ -1,30 +1,49 @@
-TEX2PDF=latexmk -silent -quiet -rules- -pdf > /dev/null
-MP2MPS=mpost -interaction=batchmode > /dev/null
+# Silent rules. By default the build is silent:
+# use "make V=1" to run in verbose mode.
+V=0
+
+DOC=$(DOC_$(V))
+DOC_0=@echo "  DOC   " $@;
+DOC_1=
+
+RM=$(RM_$(V))
+RM_0=@echo "  RM    " $@;
+RM_1=
+
+TEX2PDF=$(TEX2PDF_$(V))
+TEX2PDF_0=$(TEX2PDF_1) -silent -quiet > /dev/null
+TEX2PDF_1=latexmk -rules- -lualatex -pdf
+
+MP2MPS=$(MP2MPS_$(V))
+MP2MPS_0=$(MP2MPS_1) > /dev/null
+MP2MPS_1=mpost -interaction=batchmode
+
+CLEAN=$(CLEAN_$(V))
+CLEAN_0=$(CLEAN_1) -silent
+CLEAN_1=latexmk -C
+
 CONVERT=convert -flatten -density 150 -quality 90
 
+
 all: overview.pdf desktop.png web.png
 
 overview.pdf: overview.tex symbols-0.mps ALWAYS_OUTDATED
-	@echo "  DOC    overview.pdf" ; \
-	$(TEX2PDF) overview.tex
+	$(DOC)$(TEX2PDF) overview.tex
 
 symbols-0.mps: symbols.mp
-	@echo "  DOC    symbols" ; \
-	$(MP2MPS) symbols.mp
+	$(DOC)$(MP2MPS) symbols.mp
 
 desktop.png: overview.pdf
-	@echo "  DOC    desktop.png" ; \
-	$(CONVERT) overview.pdf[0] desktop.png
+	$(DOC)$(CONVERT) overview.pdf[0] desktop.png
 
 web.png: overview.pdf
-	@echo "  DOC    web.png" ; \
-	$(CONVERT) overview.pdf[1] web.png
+	$(DOC)$(CONVERT) overview.pdf[1] web.png
 
 clean:
-	@echo "  RM     ." ; \
-	latexmk -C -silent ; \
+	$(RM)$(CLEAN) ; \
 	rm -f *.mps symbols.log desktop.png web.png
 
+
 # ALWAYS_OUTDATED is a dummy phony target needed to force the build:
 # latexmk is the one that will take care of the dependencies.
 .PHONY: all clean ALWAYS_OUTDATED
-- 
2.11.4.GIT