add bitwuzla to gitlab-ci
[ieee754fpu.git] / Makefile
1 PYTHON3 ?= "python3"
2
3 .PHONY: help gitupdate Makefile install test htmlupload
4
5 gitupdate:
6 git submodule init
7 git submodule update --recursive
8
9 install:
10 $(PYTHON3) setup.py develop # yes, develop, not install
11
12 test:
13 $(PYTHON3) setup.py test # could just run nosetest3...
14
15 pypiupload:
16 $(PYTHON3) setup.py sdist upload
17
18 # Minimal makefile for Sphinx documentation
19 #
20
21 # You can set these variables from the command line.
22 SPHINXOPTS =
23 SPHINXBUILD = sphinx-build
24 SPHINXPROJ = ieee754fpu
25 SOURCEDIR = .
26 BUILDDIR = build
27
28 # Put it first so that "make" without argument is like "make help".
29 help:
30 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
31
32 # copies all documentation to libre-soc (libre-soc admins only)
33 htmlupload: clean html
34 rsync -HPavz --delete build/html/* \
35 libre-soc.org:/var/www/libre-soc.org/docs/ieee754fpu/
36
37 # Catch-all target: route all unknown targets to Sphinx using the new
38 # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
39 %: Makefile
40 echo "catch-all falling through to sphinx for document building"
41 mkdir -p "$(SOURCEDIR)"/src/gen
42 sphinx-apidoc --ext-autodoc -o "$(SOURCEDIR)"/src/gen ./src/ieee754
43 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)