all: python

golang:
	go get golang.org/x/tour/pic
	go build circle-go.go
	./circle-go > circle-go.ppm
	pnmtopng circle-go.ppm > circle-go.png
	pnmtile 800 800 circle-go.ppm > tiled-go.ppm
	pnmtopng tiled-go.ppm > tiled-go.png
	xzgv tiled-go.png

	
.PHONY: python
circle.png python:
	./install-package --deb-packages 'netpbm xzgv'
	./this-pylint --which-2 None --which-3 /usr/local/cpython-3.9/bin/pylint --to-pylint circle
	# mypy --disallow-untyped-calls --ignore-missing-imports database
	python3 -m mypy --disallow-untyped-calls circle
	./circle > circle.ppm
	pnmtopng circle.ppm > circle.png
	pnmtile 800 800 circle.ppm > tiled.ppm
	pnmtopng tiled.ppm > tiled.png
	xzgv tiled.png

tiled-many.png: circle.png
	pngtopnm circle.png | pnmtile 1600 1200 | pnmtopng > tiled-many.png
	xzgv tiled-many.png

clean:
	rm -f *.ppm *.png circle-go
	rm -rf .mypy_cache