Commit 5a70c71b authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

[build] use wildcard to list source files

parent a1cd06d2
DKS = *.dk
DKS = $(wildcard *.dk)
DKOS = $(
.PHONY: clean depend
......@@ -7,7 +7,7 @@ DKOS = $(
dkcheck -e -nc -r $<
all: dk_int.dko dk_fail.dko dk_opt.dko dk_builtins.dko dk_monads.dko dk_tuple.dko
all: $(DKOS)
depend: .depend
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment