From c6e75d054940229714245fa4ccf17357e7b891e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Tue, 27 Oct 2026 21:45:26 +0100 Subject: [PATCH 1/2] fix Makefile --- Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 5fd5edb..8200804 100644 --- a/Makefile +++ b/Makefile @@ -3,9 +3,9 @@ MAKEFLAGS += -r -k -j$(shell nproc) LPO_MK := lpo.mk EXCLUDE := _opam -EXCEPT := $(EXCLUDE:%=-path ./% -prune -o) +EXCEPT := $(EXCLUDE:%=! -path './%*') -LP := $(shell find . $(EXCEPT) -type f -name '*.lp' -print) +LP := $(shell find . -name '*.lp' $(EXCEPT) -print) .PHONY: default default: $(LP:%=%o) @@ -18,9 +18,9 @@ include $(LPO_MK) $(LPO_MK): $(LP) @echo create/update $@ ... - lambdapi depend $(LP) > $@ + @lambdapi depend $(LP) > $@ .PHONY: clean clean: - -find . $(EXCEPT) -type f -name '*.lpo' -delete + -find . -name '*.lpo' $(EXCEPT) -delete -rm $(LPO_MK) From 65d18afb7f824bc07d5d02383623bece4368445e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Tue, 27 Oct 2026 21:47:41 +0100 Subject: [PATCH 2/2] wip --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8200804..4378735 100644 --- a/Makefile +++ b/Makefile @@ -3,7 +3,7 @@ MAKEFLAGS += -r -k -j$(shell nproc) LPO_MK := lpo.mk EXCLUDE := _opam -EXCEPT := $(EXCLUDE:%=! -path './%*') +EXCEPT := $(EXCLUDE:%=! -path './%/*') LP := $(shell find . -name '*.lp' $(EXCEPT) -print)