manual: add clean target to tests

master
steinuil 2018-05-10 15:31:52 +02:00
parent eb789250e1
commit 2d9d48cd3c
3 changed files with 20 additions and 11 deletions

View File

@ -3,10 +3,11 @@ all: tools
${MAKE} tests
# cd fpcl; ${MAKE} all
.PHONY: clean
clean:
cd manual; ${MAKE} clean
cd tools; ${MAKE} clean
# cd fpcl; ${MAKE} clean
${MAKE} -C manual clean
${MAKE} -C tools clean
${MAKE} -C tests clean
release:
cd manual; ${MAKE} release

1
manual/tests/.gitignore vendored Normal file
View File

@ -0,0 +1 @@
/cross-reference-checker

View File

@ -2,19 +2,26 @@ TOPDIR=$(abspath ../..)
include $(TOPDIR)/Makefile.tools
MANUAL=$(TOPDIR)/manual/manual
.PHONY: all
all: check-cross-references check-stdlib
cross-reference-checker: cross_reference_checker.ml
$(OCAMLC) $(TOPDIR)/compilerlibs/ocamlcommon.cma -I $(TOPDIR)/parsing \
-I $(TOPDIR)/driver \
cross_reference_checker.ml -o cross-reference-checker
cross-reference-checker: cross_reference_checker.ml
$(OCAMLC) $(TOPDIR)/compilerlibs/ocamlcommon.cma \
-I $(TOPDIR)/parsing -I $(TOPDIR)/driver \
$< -o $@
.PHONY: check-cross-references
check-cross-references: cross-reference-checker
$(OCAMLRUN) ./cross-reference-checker \
-auxfile $(MANUAL)/texstuff/manual.aux \
$(TOPDIR)/utils/warnings.ml \
$(TOPDIR)/bytecomp/translmod.ml
-auxfile $(MANUAL)/texstuff/manual.aux \
$(TOPDIR)/utils/warnings.ml \
$(TOPDIR)/bytecomp/translmod.ml
.PHONY: check-stdlib
check-stdlib:
./check-stdlib-modules $(TOPDIR)
.PHONY: clean
clean:
rm -f *.cm? *.cmx? cross-reference-checker