Skip to content

Commit 8e1bbb3

Browse files
authored
fix Makefile (#80)
1 parent 55d70f4 commit 8e1bbb3

1 file changed

Lines changed: 4 additions & 4 deletions

File tree

‎Makefile‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,9 @@ MAKEFLAGS += -r -k -j$(shell nproc)
33
LPO_MK := lpo.mk
44

55
EXCLUDE := _opam
6-
EXCEPT := $(EXCLUDE:%=-path ./% -prune -o)
6+
EXCEPT := $(EXCLUDE:%=! -path './%/*')
77

8-
LP := $(shell find . $(EXCEPT) -type f -name '*.lp' -print)
8+
LP := $(shell find . -name '*.lp' $(EXCEPT) -print)
99

1010
.PHONY: default
1111
default: $(LP:%=%o)
@@ -18,9 +18,9 @@ include $(LPO_MK)
1818

1919
$(LPO_MK): $(LP)
2020
@echo create/update $@ ...
21-
lambdapi depend $(LP) > $@
21+
@lambdapi depend $(LP) > $@
2222

2323
.PHONY: clean
2424
clean:
25-
-find . $(EXCEPT) -type f -name '*.lpo' -delete
25+
-find . -name '*.lpo' $(EXCEPT) -delete
2626
-rm $(LPO_MK)

0 commit comments

Comments
 (0)