easycrypt/doc/Makefile at 6a4589c374ce718ac802018a7ff3b87cd70e3b4d · EasyCrypt/easycrypt · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
# -*- Makefile -*-

# ------------------------------------------------------------------------
SPHINXBUILD ?= sphinx-build
SPHINXOPTS  ?=
SOURCEDIR    = .
BUILDDIR     = _build
NPM         ?= npm

# ------------------------------------------------------------------------
.PHONY:

default:
	@echo "make [ecproof-deps | ecproof-bundle| sphinx-html]" >&2

# ------------------------------------------------------------------------
.PHONY: sphinx-help sphinx-deps __force__

sphinx-help:
	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(SPHINXOPTS)

sphinx-deps:
	pip install -r requirements.txt

sphinx-%: __force__
	@$(SPHINXBUILD) -M $* "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(SPHINXOPTS)

# ------------------------------------------------------------------------
.PHONY: ecproof-deps ecproof-bundle

ECPROOFDIR = extensions/ecproofs/proofnav

ecproof-deps:
	$(NPM) --prefix="$(ECPROOFDIR)" install

ecproof-bundle:
	$(NPM) --prefix="$(ECPROOFDIR)" run build

# ------------------------------------------------------------------------
clean:
	rm -rf _build
	rm -rf "$(ECPROOFDIR)"/dist

mrproper: clean
	rm -rf "$(ECPROOFDIR)"/node_modules