Fix Domain.make_disjoint()
[linpy.git] / Makefile
1 NAME=linpy
2
3 PYTHON=python3
4 SETUP=$(PYTHON) setup.py
5 RM=rm -rf
6
7 .PHONY: default
8 default:
9 @echo "$(NAME) – A polyhedral library based on isl"
10 @echo
11 @echo "Makefile usage:"
12 @echo " make build build the extension modules"
13 @echo " make test run the test suite"
14 @echo " make doc generate the documentation"
15 @echo " make view_doc open the documentation index"
16 @echo " make clean remove the generated files"
17
18 .PHONY: build
19 build:
20 $(SETUP) build_ext --inplace
21
22 .PHONY: test
23 test: build
24 $(PYTHON) -m unittest -v
25
26 .PHONY: doc
27 doc:
28 $(MAKE) -C doc html
29
30 .PHONY: view_doc
31 view_doc: doc
32 xdg-open doc/_build/html/index.html >/dev/null 2>&1
33
34 .PHONY: clean
35 clean:
36 $(RM) build dist MANIFEST venv $(NAME).egg-info $(NAME)/_islhelper.*.so
37 find . -name __pycache__ | xargs $(RM)
38 $(MAKE) -C doc $@