diff options
Diffstat (limited to 'python/Makefile')
| -rw-r--r-- | python/Makefile | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/python/Makefile b/python/Makefile new file mode 100644 index 0000000..1c8e467 --- /dev/null +++ b/python/Makefile @@ -0,0 +1,27 @@ + +TESTS = + + +SOURCES = mal_types.py mal_readline.py reader.py stepA_more.py + +#all: mal.sh +# +#mal.sh: $(SOURCES) +# cat $+ > $@ +# echo "#!/bin/bash" > $@ +# cat $+ | grep -v "^source " >> $@ +# chmod +x $@ +# +#clean: +# rm -f mal.sh + +.PHONY: stats tests $(TESTS) + +stats: $(SOURCES) + @wc $^ + +tests: $(TESTS) + +$(TESTS): + @echo "Running $@"; \ + python $@ || exit 1; \ |
