diff options
| author | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-02 13:49:18 -0400 |
|---|---|---|
| committer | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-02 13:49:18 -0400 |
| commit | 81a961940dd3cdb5e1b2abf66578fb3371f23065 (patch) | |
| tree | 660e49384194116392b06e3d1ac08c83c09a8d7a /Makefile.in | |
| parent | 5bc5e17dc6981ef19ad213984929aed931d98651 (diff) | |
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) |