Makefile

.PHONY: install
install: build
	python -m pip install --upgrade -e .

.PHONY: build
build:
	coconut setup.coco --line-numbers
	coconut pyprover-source pyprover --jobs sys --line-numbers

.PHONY: package
package:
	python setup.py sdist bdist_wheel

.PHONY: upload
upload: clean install package
	pip3 install --upgrade twine
	twine upload dist/*

.PHONY: setup
setup:
	python -m pip install --upgrade setuptools wheel pip
	python -m pip install --upgrade "coconut-develop[watch]"

.PHONY: test
test: install
	python pyprover/tests.py

.PHONY: clean
clean:
	rm -rf ./dist ./build
	-find . -name "*.pyc" -delete
	-find . -name "__pycache__" -delete

.PHONY: wipe
wipe: clean
	-find . -name "*.py" -delete
	rm -rf ./pyprover

.PHONY: watch
watch: install
	coconut pyprover-source pyprover --watch --line-numbers