blob: c24a187fc201893653221358a02850d592544c29 (
plain)
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
|
SASS := $(shell find site/ -name "*.sass")
ORG_POSTS := $(shell find site/ -name "*.org")
COQ_POSTS := $(shell find site/ -name "*.v")
INPUTS := $(ORG_POSTS:.org=.html) $(COQ_POSTS:.v=.html) $(SASS:.sass=.css)
COQCARGS := -async-proofs-cache force -w -custom-entry-overriden
build: ${INPUTS} soupault.conf
@echo "run soupault"
@soupault
@scripts/update-gitignore.sh ${INPUTS}
clean:
rm -f ${INPUTS}
rm -rf build
force: clean build
soupault.conf: site/posts/SoupaultConfiguration.org
@echo "generate soupault.conf"
@emacs $< --batch --eval "(org-babel-tangle)" --kill 2>/dev/null
%.html: %.v
@echo "export $*.v"
@coqc ${COQCARGS} $*.v
@coqdoc --no-index --charset utf8 --short --body-only -d site/posts/ \
--coqlib "https://coq.inria.fr/distrib/current/stdlib/" \
$*.v
@sed -i -e 's/href="$(shell basename $*.html)\#/href="\#/g' $*.html
@rm -f site/posts/coqdoc.css
%.html: %.org
@echo "export $*.org"
@emacs $< --batch --eval "(setq org-html-htmlize-output-type nil)" --eval "(org-html-export-to-html nil nil nil t)" --kill
%.css: %.sass
@echo "compile $*.sass"
@sassc --style=compressed --sass $< $@
.PHONY: clean build force
|