47 lines
1.1 KiB
Makefile
47 lines
1.1 KiB
Makefile
GENDIR := html/src/generated
|
|
AGDA_SOURCES := $(shell find src -not \( -path src/Misc -prune \) \( -name "*.agda" -o -name "*.lagda.md" \) )
|
|
|
|
build-to-html:
|
|
find src \
|
|
-not \( -path src/Misc -prune \) \
|
|
\( -name "*.agda" -o -name "*.lagda.md" \) \
|
|
-print0 \
|
|
| rust-parallel -0 agda \
|
|
--html \
|
|
--html-dir=$(GENDIR) \
|
|
--allow-unsolved-metas \
|
|
--html-highlight=auto \
|
|
--no-load-primitives \
|
|
--rewriting \
|
|
|| true
|
|
# fd --no-ignore "html$$" $(GENDIR) -x rm
|
|
|
|
.PHONY: html/src/generated/Progress.md
|
|
|
|
html/src/generated/Progress.md:
|
|
nu scripts/build-table
|
|
# touch $@
|
|
|
|
html/book/Progress.html: html/src/generated/Progress.md
|
|
pandoc \
|
|
-f markdown-markdown_in_html_blocks+raw_html \
|
|
-t html \
|
|
-i $^ \
|
|
> $@
|
|
|
|
html/book/progress/index.html: html/book/Progress.html
|
|
cat html/ProgressHeader.html $^ > $@
|
|
|
|
build-book: build-to-html
|
|
mdbook build html
|
|
mkdir -p html/book/progress
|
|
|
|
refresh-book: build-to-html
|
|
mdbook serve html
|
|
|
|
deploy: build-book html/book/progress/index.html
|
|
rsync -azr html/book/ root@veil:/home/blogDeploy/public/research
|
|
|
|
.PHONY: build-book build-to-html deploy
|
|
# -not \( -path src/CubicalHott -prune \) \
|