diff options
| author | Thomas Letan <lthms@soap.coffee> | 2023-05-13 03:44:38 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2023-05-13 03:44:38 +0200 |
| commit | 1f46d843e7a929015fa10875112bb63ead3b01d7 (patch) | |
| tree | 7437578fe23cf496875c141759dc2aff0cbfd50c /coq.mk | |
| parent | Integrate the neovim/lsp post to the Misc series (diff) | |
The great rewrite of 2023
Diffstat (limited to 'coq.mk')
| -rw-r--r-- | coq.mk | 29 |
1 files changed, 0 insertions, 29 deletions
@@ -1,29 +0,0 @@ -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 - @pretty-echo.sh Exporting "$*.v" - @coqc ${COQCARG} $< - @coqdoc ${COQDOCARG} -d $(shell dirname $<) $< - @rm -f $(shell dirname $<)/coqdoc.css |