| 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: 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/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/ |
