From: Michael Orlitzky <michael@orlitzky.com>
Date: Tue, 7 Mar 2017 16:27:14 +0000 (-0500)
Subject: Add undefined reference and over/underfull box checks to the makefile.
X-Git-Tag: phd-dissertation-submitted~3
X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=commitdiff_plain;h=e9ac324f03959e7884df4339e31acf25053b3dde;hp=5f2d44683ba6cb73b45d572724e827f70641660d

Add undefined reference and over/underfull box checks to the makefile.
---

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).