Makefile

LAKEBIN=lake

PROJECT=PrimeNumberTheoremAnd

FILES=$(basename $(notdir $(wildcard $(PROJECT)/*.lean)))
BLUEPRINTS=$(addsuffix .tex, $(addprefix blueprint/, $(FILES)))
BLUEPRINT_FILE=blueprint/blueprint.tex

build:
	$(LAKEBIN) update
	$(LAKEBIN) exe cache get
	$(LAKEBIN) build

doc: .lake/packages/doc-gen4
	$(LAKEBIN) -R -Kenv=dev build $(PROJECT):docs
.lake/packages/doc-gen4:
	$(LAKEBIN) -R -Kenv=dev update
clean-doc:
	rm -rf .lake/build/doc/*

blueprint: clean-blueprint
	python3 leanblueprint-extract/extract_blueprint -O blueprint $(PROJECT)/*.lean
	make -C blueprint
	make -C blueprint clean-aux
clean-blueprint:
	mkdir -p blueprint
	rm -f $(BLUEPRINTS)
	make -C blueprint clean

clean: clean-doc clean-blueprint