+.PHONY: all
+all:
+ @echo Nothing to do for \`all\'
+
+.PHONY: clean-venv
+clean-venv:
+ rm -rf $(VENVDIR)
+
+.PHONY: venv
+venv:
+ @if [ -d $(VENVDIR) ] ; then \
+ echo "venv already exists."; \
+ echo "To recreate it, remove it first with \`make clean-venv'."; \
+ else \
+ sudo apt-get install -y python3-pip python3-wheel python3-virtualenv; \
+ $(PYTHON) -m virtualenv $(VENVDIR); \
+ $(VENVDIR)/bin/python -m pip install -U --compile pip wheel; \
+ $(VENVDIR)/bin/python -m pip install -U --compile -r requirements.txt; \
+ echo "The venv has been created in the $(VENVDIR) directory"; \
+ fi
+
+.PHONY: perms
+perms:
+ chmod -R u=rwX,go=rX . && \
+ chmod -R go= .git .gitignore html_output/.gitignore \
+ devscripts parser/Makefile ChangeLog Makefile \
+ requirements.txt version && \
+ exec find .git/objects -type f -exec chmod a=r '{}' \+