SolvAI/Makefile at main · Scientific-Computing-Lab/SolvAI · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
.PHONY: setup test verify metrics tables figures paper security claims clean

setup:
	uv sync --extra dev

test:
	uv run pytest -q

metrics:
	uv run python scripts/reproduce_metrics.py

verify: metrics
	uv run python scripts/audit_leakage.py
	uv run python scripts/verify_artifact.py
	uv run python scripts/check_claims.py
	uv run python scripts/security_scan.py
	uv run python scripts/build_release_manifest.py
	uv run python scripts/verify_release_manifest.py

tables: metrics
	uv run python scripts/make_tables.py

figures: tables
	uv run python scripts/make_figures.py

paper: figures
	SOURCE_DATE_EPOCH=1787788800 FORCE_SOURCE_DATE=1 latexmk -pdf -interaction=nonstopmode -halt-on-error -cd paper/main.tex
	SOURCE_DATE_EPOCH=1787788800 FORCE_SOURCE_DATE=1 latexmk -pdf -interaction=nonstopmode -halt-on-error -cd paper/supplementary/supplementary.tex
	qpdf --empty --static-id --pages paper/main.pdf paper/supplementary/supplementary.pdf -- paper/review_combined.pdf

security:
	uv run python scripts/security_scan.py

claims:
	uv run python scripts/check_claims.py

clean:
	latexmk -C -cd paper/main.tex
	latexmk -C -cd paper/supplementary/supplementary.tex