From 5b2248892e4ddeb2a4757c53c52407c3c54a0c03 Mon Sep 17 00:00:00 2001 From: Gabriel Scherer Date: Sun, 19 Aug 2018 18:44:17 +0200 Subject: [PATCH] build cross-reference-checker during manual-pregen Many build errors in cross-reference-checker have gone unnoticed because this program was only built to build the manual itself, which is not part of the CI testing. (The test that it implements needs the .aux files produces by LaTeX, which we don't really want to produce during CI runs.) This commit adds cross-reference-checker to the `tools` target of manual/Makefile, which is in turn built by the `manual-pregen` target of the main Makefile, which contains the sanity checks for the manual that do not require building it, and is part of our CI. --- manual/Makefile | 1 + manual/tests/Makefile | 3 +++ 2 files changed, 4 insertions(+) diff --git a/manual/Makefile b/manual/Makefile index ca2b58056..0ccbf1888 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -10,6 +10,7 @@ tests: manual tools: $(MAKE) -C tools clean $(MAKE) -C tools all + $(MAKE) -C tests tools manual: tools $(MAKE) -C manual all diff --git a/manual/tests/Makefile b/manual/tests/Makefile index e00870b41..802f43a02 100644 --- a/manual/tests/Makefile +++ b/manual/tests/Makefile @@ -2,8 +2,11 @@ TOPDIR=$(abspath ../..) include $(TOPDIR)/Makefile.tools MANUAL=$(TOPDIR)/manual/manual +.PHONY: all all: check-cross-references check-stdlib +.PHONY: tools +tools: cross-reference-checker cross-reference-checker: cross_reference_checker.ml $(OCAMLC) $(TOPDIR)/compilerlibs/ocamlcommon.cma \