From e9ac324f03959e7884df4339e31acf25053b3dde Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Tue, 7 Mar 2017 11:27:14 -0500 Subject: [PATCH] Add undefined reference and over/underfull box checks to the makefile. --- GNUmakefile | 27 +++++++++++++++++++++++++-- 1 file changed, 25 insertions(+), 2 deletions(-) diff --git a/GNUmakefile b/GNUmakefile index fd37d92..4b738f0 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -119,12 +119,35 @@ else echo -n '' > $@ endif +# If the output PDF exists but the log file does not, then an attempt +# to "build the log file" (i.e. build the PDF) would do nothing. Thus +# whenever the log file does not exist, we do a fresh build. +$(PN).log: $(SRCS) + $(MAKE) clean + $(MAKE) + +# Ensure that there are no overfull or underfull boxes in the output +# document by parsing the log for said warnings. +.PHONY: check-boxes +check-boxes: $(PN).log + @! grep -i 'overfull\|underfull' $< + # Run chktex to find silly mistakes. There is some exit code weirdness # (Savannah bug 45979), so we just look for empty output. -.PHONY: check -check: +.PHONY: check-chktex +check-chktex: @[ -z "$(shell chktex --quiet mjotex.sty)" ] +# Ensure that there are no undefined references in the document by +# parsing the log file for said warnings. +.PHONY: check-undefined +check-undefined: $(PN).log + @! grep -i 'undefined' $< + +# Run a suite of checks. +.PHONY: check +check: check-boxes check-chktex check-undefined + # Clean up leftover junk. This only looks overcomplicated because # the *.{foo,bar} syntax supported by Bash is not POSIX, and Make # will execute these commands using /bin/sh (which should be POSIX). -- 2.43.2