diff --git a/tools/Makefile b/tools/Makefile new file mode 100644 index 0000000000000000000000000000000000000000..ef721c2b8532c4ddf921d1cf371732f1c8472f71 --- /dev/null +++ b/tools/Makefile @@ -0,0 +1,13 @@ +PYTHON:= python3.7 +.PHONY: all clean + +all: virtualenv + +virtualenv: + test -d venv || virtualenv -p $(PYTHON) venv + touch venv/bin/activate + +clean: + rm -fr venv + find -iname "*.pyc" -delete +