diff options
author | Thomas Letan <lthms@soap.coffee> | 2022-08-13 17:05:37 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2022-08-13 17:11:58 +0200 |
commit | de83a3ea99275de9887618f1ea2f9d468a0d4e6a (patch) | |
tree | 6a8066ac9414b09b353d810793f7d041c4242172 /coq.mk | |
parent | Some minor CSS tweak (diff) |
Goodbye, cleopatra
As it is, it is just too slow. Plus, the literate program that was my
toolchain is actually not documented, so it makes no sense.
I’m sad, though.
Diffstat (limited to 'coq.mk')
-rw-r--r-- | coq.mk | 29 |
1 files changed, 29 insertions, 0 deletions
@@ -0,0 +1,29 @@ +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} + +soupault-build : coq-build + +ARTIFACTS += ${COQ_ARTIFACTS} .lia.cache +ARTIFACTS += ${COQ_HTML} + +COQLIB := "https://coq.inria.fr/distrib/current/stdlib/" +COQCARG := -async-proofs-cache force \ + -w -custom-entry-overriden +COQDOCARG := --no-index --charset utf8 --short \ + --body-only --coqlib "${COQLIB}" \ + --external "https://coq-community.org/coq-ext-lib/v0.11.2/" ExtLib \ + --external "https://compcert.org/doc/html" compcert \ + --external "https://lysxia.github.io/coq-simple-io" SimpleIO + +%.html : %.v coq.mk _opam/init + @scripts/pretty-echo.sh Exporting "$*.v" + @coqc ${COQCARG} $< + @coqdoc ${COQDOCARG} -d $(shell dirname $<) $< + @rm -f $(shell dirname $<)/coqdoc.css |