From 81a961940dd3cdb5e1b2abf66578fb3371f23065 Mon Sep 17 00:00:00 2001 From: Dan Rostovtsev Date: Thu, 2 Apr 2026 13:49:18 -0400 Subject: Lambda v0.0.1 --- Makefile.in | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'Makefile.in') 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) -- cgit v1.3