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 --- ChangeLog | 4 ++++ Makefile.in | 5 ++--- configure.ac | 2 +- 3 files changed, 7 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 0bbf539..c7aef3b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2026-04-02 Daniel Rostovtsev + + v0.0.1: Separating validation from check. + 2026-04-02 Daniel Rostovtsev v0.0.0: Fundamental theorems and objects for writing proofs about 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 -- cgit v1.3