You've already forked gnatcoverage
mirror of
https://github.com/AdaCore/gnatcoverage.git
synced 2026-02-12 12:44:55 -08:00
5c9cbd8a1c
Add parens on calls to "print" in a few python scripts. In the STR/Makefile, temporarily for the invocation of sphinx-build, prepend the path to sphinx-build on PATH to have the associated python distrib ahead as it exposes specific packages that sphinx-build uses. In STR/genrest.py, adjust the expected texts for test statuses to those emitted by e3. Remove trailing whitespaces. Part of V523-030 (gnatcov qualkit with e3/python3 on lima) Change-Id: I58c039d3058f88c5de75bff0add0a0c9a9deb115 Depends-On: Id7de2b90cd84c997cbbcb382798268caa1e85014
39 lines
1.1 KiB
Makefile
39 lines
1.1 KiB
Makefile
# Makefile for Sphinx documentation
|
|
#
|
|
|
|
# You can set these variables from the command line.
|
|
SPHINXOPTS = -c .
|
|
SPHINXBUILD = sphinx-build
|
|
PAPER = a4
|
|
BLDDIR = build
|
|
SRCDIR = source
|
|
|
|
# Internal variables.
|
|
ALLSPHINXOPTS = -d $(BLDDIR)/doctrees $(SPHINXOPTS) $(SRCDIR)
|
|
|
|
# sphinx-build uses python modules of its own and we're possibly
|
|
# executed in a context which also needs a python distrib of its
|
|
# own. Arrange to launch sphinx-build with a PATH temporarily
|
|
# augmented with the python distrib that comes with it.
|
|
SPHINXDIR=$$(dirname $$(which $(SPHINXBUILD)))
|
|
|
|
.PHONY: clean html latexpdf
|
|
|
|
all: html
|
|
|
|
clean:
|
|
-rm -rf $(BLDDIR)/* $(SRCDIR)/*.rst
|
|
|
|
html:
|
|
PATH=$(SPHINXDIR):$$PATH; \
|
|
$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BLDDIR)/html
|
|
@echo
|
|
@echo "Build finished. The HTML pages are in $(BLDDIR)/html."
|
|
|
|
latexpdf:
|
|
PATH=$(SPHINXDIR):$$PATH; \
|
|
$(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) $(BLDDIR)/latexpdf
|
|
@echo "Running LaTeX files through pdflatex..."
|
|
make -C $(BLDDIR)/latexpdf all-pdf
|
|
@echo "pdflatex finished; the PDF files are in $(BLDDIR)/latex."
|