| INSTALL=install | |
| prefix ?= /usr | |
| bindir ?= $(prefix)/bin | |
| mandir ?= $(prefix)/share/man | |
| srcdir ?= $(prefix)/src | |
| PYLIB ?= $(shell python3 -c 'import sysconfig; print (sysconfig.get_path("purelib"))') | |
| .PHONY: all | |
| all: | |
| .PHONY: clean | |
| clean: | |
| .PHONY: check | |
| check: | |
| prove -o --directives -f tests/ | |
| .PHONY: install | |
| install: | |
| $(INSTALL) rvgen/automata.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/automata.py | |
| $(INSTALL) rvgen/dot2c.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/dot2c.py | |
| $(INSTALL) dot2c -D -m 755 $(DESTDIR)$(bindir)/ | |
| $(INSTALL) rvgen/dot2k.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/dot2k.py | |
| $(INSTALL) rvgen/kunit.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/kunit.py | |
| $(INSTALL) rvgen/container.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/container.py | |
| $(INSTALL) rvgen/generator.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/generator.py | |
| $(INSTALL) rvgen/ltl2ba.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/ltl2ba.py | |
| $(INSTALL) rvgen/ltl2k.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/ltl2k.py | |
| $(INSTALL) __main__.py -D -m 755 $(DESTDIR)$(bindir)/rvgen | |
| cp -rp rvgen/templates $(DESTDIR)$(PYLIB)/rvgen/ |