1 files changed, 9 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f25df9a..8f5fdb1 100644
--- a/Makefile
+++ b/Makefile
@@ -3,10 +3,18 @@ all: test lib
 DEPLOY_DEST ?= vps:/var/www/naproche.org/
 RSYNC_FLAGS ?= -az --delete-delay --itemize-changes --exclude=".DS_Store"
 
+TYPED_LIBRARY_ROOT := library/everything.tex
+
+# The active aggregate covers the complete production library graph.
 .PHONY: lib
 lib:
 	stack build
-	time stack exec zf -- --fresh --log library/everything.tex -t 17
+	@set -e; \
+	store_dir="$$(mktemp -d "$${TMPDIR:-/tmp}/felix-lib.XXXXXX")"; \
+	trap 'rm -rf "$$store_dir"' EXIT; \
+	printf 'Verifying %s\n' "$(TYPED_LIBRARY_ROOT)"; \
+	time stack exec zf -- --store "$$store_dir/store.sqlite" \
+		--log "$(TYPED_LIBRARY_ROOT)" -t 20
 
 .PHONY: dump
 dump: