diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..7300467 --- /dev/null +++ b/Makefile @@ -0,0 +1,16 @@ +NON_DIRS=experiments/ template/ +DIRS=$(patsubst %/,%/,$(sort $(dir $(filter-out $(NON_DIRS),$(wildcard */))))) +MAKE=make + +.PHONY: all clean $(DIRS) run + +all: $(DIRS) + +$(DIRS): + @echo Entering $@… + $(MAKE) -C $@ + @echo Leaving $@ + +clean: $(CLEAN) + @echo Cleaning up... + @for i in $(DIRS); do ($(MAKE) -C $$i/ clean); done