From fe7f1496d2b2d8c8b3caed4110b651df11a5b683 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Fri, 26 Jun 2026 11:28:12 +0200 Subject: [PATCH 1/3] fix config --- config | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config b/config index 2ad035d..32fdb66 100755 --- a/config +++ b/config @@ -170,9 +170,9 @@ then echo create deps.mk ... rm -f deps.mk touch deps.mk - set $base_rocqfiles - if test $# -gt 0 + if test -n "$base_rocqfiles" then + set $base_rocqfiles echo -n ${1}o >> deps.mk shift for f in $* From 60193239306cc1bed0cce60208af374c45886bf9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Fri, 26 Jun 2026 11:56:09 +0200 Subject: [PATCH 2/3] wip --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 83f4e0d..0a59d28 100644 --- a/Makefile +++ b/Makefile @@ -406,7 +406,7 @@ clean-lean: rm-lean .PHONY: rm-lean rm-lean: - if test -d $(ROOT_PATH); then find $(ROOT_PATH) -maxdepth 1 -name '*.lean' $(LEANFILES:%=-a ! -name $(ROOT_PATH)/%) -delete; fi + if test -d $(ROOT_PATH); then find $(ROOT_PATH) -maxdepth 1 -name '*.lean' $(LEANFILES:%=-a ! -wholename $(ROOT_PATH)/%) -delete; fi $(ROOT_PATH).lean: ifneq ($(SET_STI_FILES),1) From 90bd5b13e0254952272fe10fc93a5fbc984d2fa4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Fri, 26 Jun 2026 14:19:17 +0200 Subject: [PATCH 3/3] wip --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0a59d28..1089bb8 100644 --- a/Makefile +++ b/Makefile @@ -406,7 +406,7 @@ clean-lean: rm-lean .PHONY: rm-lean rm-lean: - if test -d $(ROOT_PATH); then find $(ROOT_PATH) -maxdepth 1 -name '*.lean' $(LEANFILES:%=-a ! -wholename $(ROOT_PATH)/%) -delete; fi + if test -d $(ROOT_PATH); then find $(ROOT_PATH) -maxdepth 1 -name '*.lean' $(LEANFILES:%=-a ! -path $(ROOT_PATH)/%) -delete; fi $(ROOT_PATH).lean: ifneq ($(SET_STI_FILES),1)