summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-16 23:44:01 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-16 23:44:01 +0100
commit2dc4e8b62cf0db0a9fccf7cfbee7a809d82081bc (patch)
treec8db3f2a7887237b48689dd140417e2875d3cb10 /Makefile
parent3b79b7e6ae441c92e9f97abd1532ac0dd34fe068 (diff)
Adopt a literate programming approach for the configuration
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 95a80b2..9c6e87d 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ INPUTS := $(ORG_POSTS:.org=.html) $(COQ_POSTS:.v=.html) $(SASS:.sass=.css)
COQCARGS := -async-proofs-cache force
-build: ${INPUTS}
+build: ${INPUTS} soupault.conf
@soupault
@scripts/update-gitignore.sh ${INPUTS}
@@ -15,6 +15,10 @@ clean:
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