https://github.com/coq-ext-lib/coq-ext-lib
Tip revision: f3d86bc157e0cc282c9e8041136fbf7eb4275170 authored by Yishuai Li on 06 March 2024, 07:19:27 UTC
Update stale.yml
Update stale.yml
Tip revision: f3d86bc
Makefile
all: theories examples
COQDOCJS_LN?=true
-include coqdocjs/Makefile.doc
COQMAKEFILE?=Makefile.coq
theories: $(COQMAKEFILE)
$(MAKE) -f $(COQMAKEFILE)
$(COQMAKEFILE):
$(COQBIN)coq_makefile -f _CoqProject -o $(COQMAKEFILE)
install: $(COQMAKEFILE)
$(MAKE) -f $(COQMAKEFILE) install
examples: theories
$(MAKE) -C examples
clean:
if [ -e $(COQMAKEFILE) ] ; then $(MAKE) -f $(COQMAKEFILE) cleanall ; fi
$(MAKE) -C examples clean
@rm -f $(COQMAKEFILE) $(COQMAKEFILE).conf
uninstall:
$(MAKE) -f $(COQMAKEFILE) uninstall
dist:
@ git archive --prefix coq-ext-lib/ HEAD -o $(PROJECT_NAME).tgz
.PHONY: all clean dist theories examples html
TEMPLATES ?= ../templates
resources/index.html: resources/index.md
pandoc -s $^ -o $@
resources/index.md: meta.yml $(TEMPLATES)/index.md.mustache
$(TEMPLATES)/generate.sh $@
publish%:
opam publish --packages-directory=released/packages \
--repo=coq/opam --tag=v$* -v $* coq-community/coq-ext-lib