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: install 17install: 18 $(INSTALL) rvgen/automata.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/automata.py 19 $(INSTALL) rvgen/dot2c.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/dot2c.py 20 $(INSTALL) dot2c -D -m 755 $(DESTDIR)$(bindir)/ 21 $(INSTALL) rvgen/dot2k.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/dot2k.py 22 $(INSTALL) rvgen/container.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/container.py 23 $(INSTALL) rvgen/generator.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/generator.py 24 $(INSTALL) rvgen/ltl2ba.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/ltl2ba.py 25 $(INSTALL) rvgen/ltl2k.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/ltl2k.py 26 $(INSTALL) __main__.py -D -m 755 $(DESTDIR)$(bindir)/rvgen 27 cp -rp rvgen/templates $(DESTDIR)$(PYLIB)/rvgen/ 28