-
Notifications
You must be signed in to change notification settings - Fork 25
/
Makefile
91 lines (75 loc) · 3.56 KB
/
Makefile
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
.PHONY: install
install: ## Install the poetry environment and install the pre-commit hooks
@echo "🚀 Creating virtual environment using pyenv and poetry"
@poetry install
@poetry shell
.PHONY: check
check: ## Run code quality tools.
@echo "🚀 Checking for obsolete submissions/Readme.md"
@poetry run python3 submissions/template/generate_Readme.py check
@echo "🚀 Checking Poetry lock file consistency with 'pyproject.toml': Running poetry lock --check"
@poetry check --lock
@echo "🚀 Linting code: Running pre-commit"
@poetry run pre-commit run -a
@echo "🚀 Static type checking: Running mypy"
@poetry run mypy
@echo "🚀 Checking for obsolete dependencies: Running deptry"
@poetry run deptry . --extend-exclude "archive|_site"
.PHONY: test generation
test: generation ## Test the code with pytest
@echo "🚀 Generating submissions/Readme.md"
@poetry run python3 submissions/template/generate_Readme.py generate
@echo "🚀 Testing code: Running pytest"
@poetry run pytest
generation: submission-generation participant-data track-data division-track-data results-generation ## Files generation for the website
.PHONY: build
build: clean-build ## Build wheel file using poetry
@echo "🚀 Creating wheel file"
@poetry build
.PHONY: clean-build
clean-build: ## clean build artifacts
@rm -rf dist
.PHONY: help
help:
@grep -E '^[a-zA-Z_-]+:.*?## .*$$' $(MAKEFILE_LIST) | awk 'BEGIN {FS = ":.*?## "}; {printf "\033[36m%-20s\033[0m %s\n", $$1, $$2}'
.DEFAULT_GOAL := help
GENERATED_SCHEMA_FILE=web/content/solver_submission/schema.json
GENERATED_SCHEMA_HTML=web/content/solver_submission/schema.html
PARTICIPANT_DATA_FILE=web/data/participants.json
TRACK_DATA_FILE=web/data/tracks.json
DIVISION_TRACK_DATA_FILE=web/data/division_tracks.json
.PHONY: submission-doc submission-generation participant-data results-generation cache
submission-generation:
@echo "🚀 Generating schema to $(GENERATED_SCHEMA_FILE)"
@poetry run smtcomp dump-json-schema $(GENERATED_SCHEMA_FILE)
submission-doc: submission-generation
@echo "🚀 Generating html doc to $(GENERATED_SCHEMA_HTML)"
@echo " Needs 'pip install json-schema-for-humans'"
@poetry run generate-schema-doc --expand-buttons --no-link-to-reused-ref $(GENERATED_SCHEMA_FILE) $(GENERATED_SCHEMA_HTML)
participant-data:
@echo "🚀 Generating participant data to $(PARTICIPANT_DATA_FILE)"
@poetry run smtcomp show-json submissions/*.json $(PARTICIPANT_DATA_FILE)
track-data:
@echo "🚀 Generating track data to $(TRACK_DATA_FILE)"
@poetry run smtcomp export-tracks $(TRACK_DATA_FILE)
division-track-data:
@echo "🚀 Generating track data to $(DIVISION_TRACK_DATA_FILE)"
@poetry run smtcomp export-division-tracks $(DIVISION_TRACK_DATA_FILE)
results-generation:
@echo "🚀 Generating results to web/content/results for SingleQuery"
@poetry run smtcomp export-results-pages data SingleQuery
@echo "🚀 Generating results to web/content/results for ModelValidation"
@poetry run smtcomp export-results-pages data ModelValidation
@echo "🚀 Generating results to web/content/results for UnsatCore"
@poetry run smtcomp export-results-pages data UnsatCore
@echo "🚀 Generating results to web/content/results for Incremental"
@poetry run smtcomp export-results-pages data Incremental
@echo "🚀 Generating results to web/content/results for Cloud"
@poetry run smtcomp export-results-pages data Cloud
@echo "🚀 Generating results to web/content/results for Parallel"
@poetry run smtcomp export-results-pages data Parallel
cache:
@echo "🚀 Generating cache"
@poetry run smtcomp create-cache data
hugo-server:
(cd web; hugo server)