1INSTALL=install 2 3prefix ?= /usr 4bindir ?= $(prefix)/bin 5mandir ?= $(prefix)/share/man 6srcdir ?= $(prefix)/src 7 8PYLIB ?= $(shell python3 -c 'import sysconfig; print (sysconfig.get_path("purelib"))') 9 10.PHONY: all 11all: 12 13.PHONY: clean 14clean: 15 16.PHONY: check 17check: 18 prove -o --directives -f tests/ 19 20.PHONY: install 21install: 22 $(INSTALL) rvgen/automata.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/automata.py 23 $(INSTALL) rvgen/dot2c.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/dot2c.py 24 $(INSTALL) dot2c -D -m 755 $(DESTDIR)$(bindir)/ 25 $(INSTALL) rvgen/dot2k.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/dot2k.py 26 $(INSTALL) rvgen/kunit.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/kunit.py 27 $(INSTALL) rvgen/container.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/container.py 28 $(INSTALL) rvgen/generator.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/generator.py 29 $(INSTALL) rvgen/ltl2ba.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/ltl2ba.py 30 $(INSTALL) rvgen/ltl2k.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/ltl2k.py 31 $(INSTALL) __main__.py -D -m 755 $(DESTDIR)$(bindir)/rvgen 32 cp -rp rvgen/templates $(DESTDIR)$(PYLIB)/rvgen/ 33