diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | Makefile.in | 5 | ||||
| -rw-r--r-- | configure.ac | 2 |
3 files changed, 7 insertions, 4 deletions
@@ -1,5 +1,9 @@ 2026-04-02 Daniel Rostovtsev <dan@rostovtsev.org> + v0.0.1: Separating validation from check. + +2026-04-02 Daniel Rostovtsev <dan@rostovtsev.org> + v0.0.0: Fundamental theorems and objects for writing proofs about the untyped lambda calculus. Includes: 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) diff --git a/configure.ac b/configure.ac index f186a1d..cf13cbf 100644 --- a/configure.ac +++ b/configure.ac @@ -1,4 +1,4 @@ -AC_INIT([lambda], [0.0.0], [dan@rostovtsev.org]) +AC_INIT([lambda], [0.0.1], [dan@rostovtsev.org]) # COQC search borrowed from the gappa project # https://gitlab.inria.fr/gappa/coq.git |