Commit 96f6c484 authored by Michael Hanus's avatar Michael Hanus
Browse files

Makefile improved

parent 03daa92f
......@@ -12,7 +12,8 @@ export CLEANCURRY = $(BINDIR)/cleancurry
export REPL = $(BINDIR)/curry
# Directory names of all tools:
TOOLDIRS=$(notdir $(shell find . -mindepth 1 -maxdepth 1 -type d | sort))
TOOLDIRS = $(filter-out $(EXCLUDES), $(sort $(notdir $(shell find . -mindepth 1 -maxdepth 1 -type d))))
EXCLUDES = .git
make_TOOLDIRS=$(addprefix make_,$(TOOLDIRS))
compile_TOOLDIRS=$(addprefix compile_,$(TOOLDIRS))
......
Supports Markdown
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