diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index d43e8f1..3d3ce47 100644 --- a/Makefile.in +++ b/Makefile.in @@ -17,7 +17,7 @@ srcs=theories \ # PACKAGE_NAME / PACKAGE_VERSION from AC_INIT rel=@PACKAGE_NAME@-@PACKAGE_VERSION@ -KNOWNFILES := Makefile _CoqProject configure.ac configure +KNOWNFILES := Makefile _CoqProject configure.ac configure check .DEFAULT_GOAL := invoke-coqmakefile configure: configure.ac @@ -32,7 +32,6 @@ invoke-coqmakefile: CoqMakefile $(filter-out $(KNOWNTARGETS), $(MAKECMDGOALS)) check: - make -f COQBIN=$(COQBIN) CoqMakefile validate AUTOCONF_FILES=aclocal.m4 \ autom4te.cache \ @@ -61,7 +60,7 @@ dist: configure distcheck: dist tar -xzf $(rel).tar.gz - cd $(rel); ./configure; make + cd $(rel); ./configure; make; make check rm -rf $(rel) .PHONY: invoke-coqmakefile $(KNOWNFILES) |