diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-12-10 14:15:24 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-12-10 14:15:24 +0100 |
commit | 2706544cf000a6f9875e81f86d885d4dc68dfb23 (patch) | |
tree | 5c1cf8ce1f5704dabef5e55353a3f9196894eb1a /site/cleopatra/coq.org | |
parent | Advertise the version of compcert used to build this article (diff) |
Add a Series on coqffi, and the first literate program of this blog
Diffstat (limited to 'site/cleopatra/coq.org')
-rw-r--r-- | site/cleopatra/coq.org | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/site/cleopatra/coq.org b/site/cleopatra/coq.org index 7bd5d48..fcbee03 100644 --- a/site/cleopatra/coq.org +++ b/site/cleopatra/coq.org @@ -5,13 +5,18 @@ #+BEGIN_SRC makefile :tangle coq.mk COQ_POSTS := $(shell find site/ -name "*.v") COQ_HTML := $(COQ_POSTS:.v=.html) +COQ_ARTIFACTS := $(COQ_POSTS:.v=.vo) \ + $(COQ_POSTS:.v=.vok) \ + $(COQ_POSTS:.v=.vos) \ + $(COQ_POSTS:.v=.glob) \ + $(join $(dir ${COQ_POSTS}),$(addprefix ".",$(notdir $(COQ_POSTS:.v=.aux)))) coq-build : ${COQ_HTML} theme-build : site/style/coq.sass soupault-build : coq-build -ARTIFACTS += *.vo *.vok *.vos .*.aux *.glob .lia.cache +ARTIFACTS += ${COQ_ARTIFACTS} .lia.cache ARTIFACTS += ${COQ_HTML} COQLIB := "https://coq.inria.fr/distrib/current/stdlib/" |