1b6c62aa7SNam CaoINSTALL=install 2b6c62aa7SNam Cao 3b6c62aa7SNam Caoprefix ?= /usr 4b6c62aa7SNam Caobindir ?= $(prefix)/bin 5b6c62aa7SNam Caomandir ?= $(prefix)/share/man 6b6c62aa7SNam Caosrcdir ?= $(prefix)/src 7b6c62aa7SNam Cao 8b6c62aa7SNam CaoPYLIB ?= $(shell python3 -c 'import sysconfig; print (sysconfig.get_path("purelib"))') 9b6c62aa7SNam Cao 10b6c62aa7SNam Cao.PHONY: all 11b6c62aa7SNam Caoall: 12b6c62aa7SNam Cao 13b6c62aa7SNam Cao.PHONY: clean 14b6c62aa7SNam Caoclean: 15b6c62aa7SNam Cao 16b6c62aa7SNam Cao.PHONY: install 17b6c62aa7SNam Caoinstall: 18b6c62aa7SNam Cao $(INSTALL) rvgen/automata.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/automata.py 19b6c62aa7SNam Cao $(INSTALL) rvgen/dot2c.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/dot2c.py 20b6c62aa7SNam Cao $(INSTALL) dot2c -D -m 755 $(DESTDIR)$(bindir)/ 21b6c62aa7SNam Cao $(INSTALL) rvgen/dot2k.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/dot2k.py 22cce86e03SNam Cao $(INSTALL) rvgen/container.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/container.py 23cce86e03SNam Cao $(INSTALL) rvgen/generator.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/generator.py 24*97ffa4ceSNam Cao $(INSTALL) rvgen/ltl2ba.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/ltl2ba.py 25*97ffa4ceSNam Cao $(INSTALL) rvgen/ltl2k.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/ltl2k.py 26b6c62aa7SNam Cao $(INSTALL) __main__.py -D -m 755 $(DESTDIR)$(bindir)/rvgen 27ccb21fc8SNam Cao cp -rp rvgen/templates $(DESTDIR)$(PYLIB)/rvgen/ 28