spectec/test-prose/Makefile

# Configuration

NAME = spectec
EXE = $(PWD)/../$(NAME)
EXT = $(NAME)
LOG = _log

OWNDIR = $(PWD)
SPECDIR = ../../specification/wasm-latest
SPECCLONE = ../_specification/wasm-latest
SPECFILES = $(shell ls $(SPECDIR)/*.$(EXT))
TESTS = $(SPECFILES:%=test-%)


# Main targets

.PHONY: all

all: test


# Test

.PHONY: test

test: pdf html


# Sphinx splicing

SPHINXBUILD = sphinx-build
SPHINXDIR = _sphinx
BUILDDIR = _sphinx/_build

CONF = doc/conf.py
INDEX = doc/index.rst
MATHDEF = doc/util/mathdef.py
INPUTFILES = $(wildcard $(SPHINXDIR)/*/*-in.rst)
SPLICEINPUT = $(strip $(patsubst $(SPHINXDIR)/%,%,$(subst " ", " ", $(INPUTFILES))))
SPLICEOUTPUT = $(strip $(subst -in.rst,.rst,$(SPLICEINPUT)))
UTIL = util

.PHONY: document

document: doc $(CONF) $(MATHDEF) $(INDEX)

.PHONY: setup

setup: document
	mkdir -p $(BUILDDIR)
	cp -r doc/* $(SPHINXDIR)

.PHONY: splice

splice: setup $(SPECCLONE)
	cd $(SPHINXDIR) && $(EXE) -l ../$(SPECCLONE)/*.$(EXT) --sideconditions --splice-sphinx -o $(SPLICEOUTPUT) -p $(SPLICEINPUT)
	rm -f $(INPUTFILES)
	cd ..

.PHONY: html

html: splice
	$(SPHINXBUILD) -b html -d $(SPHINXDIR)/doctrees $(SPHINXDIR) $(BUILDDIR)/html
	@echo "html finished; the HTML pages are in $(BUILDDIR)/html."

.PHONY: pdf

pdf: latexpdf
	cp $(BUILDDIR)/latex/*.pdf .
	@echo "pdf finished; the PDF files are in the current directory."

.PHONY: latexpdf

latexpdf: splice
	$(SPHINXBUILD) -b latex -d $(SPHINXDIR)/doctrees $(SPHINXDIR) $(BUILDDIR)/latex
	$(MAKE) -C $(BUILDDIR)/latex LATEXMKOPTS=" </dev/null" all-pdf >$(BUILDDIR)/latex/LOG 2>&1 || cat $(BUILDDIR)/latex/LOG
	@echo "pdflatex finished; the PDF files are in $(BUILDDIR)/latex."


# Executable

$(EXE): exe

exe:
	@(cd ..; make exe)


# Specification

$(SPECCLONE): $(SPECFILES)
	@(cd ..; make _specification)


# Cleanup

.PHONY: clean distclean

clean:
	dune clean
	rm -rf $(SPHINXDIR) $(LOG)
	rm -f *.pdf

distclean: clean