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 1636c1af42SGabriele Monaco.PHONY: check 1736c1af42SGabriele Monacocheck: 1836c1af42SGabriele Monaco prove -o --directives -f tests/ 1936c1af42SGabriele Monaco 20b6c62aa7SNam Cao.PHONY: install 21b6c62aa7SNam Caoinstall: 22b6c62aa7SNam Cao $(INSTALL) rvgen/automata.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/automata.py 23b6c62aa7SNam Cao $(INSTALL) rvgen/dot2c.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/dot2c.py 24b6c62aa7SNam Cao $(INSTALL) dot2c -D -m 755 $(DESTDIR)$(bindir)/ 25b6c62aa7SNam Cao $(INSTALL) rvgen/dot2k.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/dot2k.py 26*5b4b6ef9SGabriele Monaco $(INSTALL) rvgen/kunit.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/kunit.py 27cce86e03SNam Cao $(INSTALL) rvgen/container.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/container.py 28cce86e03SNam Cao $(INSTALL) rvgen/generator.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/generator.py 2997ffa4ceSNam Cao $(INSTALL) rvgen/ltl2ba.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/ltl2ba.py 3097ffa4ceSNam Cao $(INSTALL) rvgen/ltl2k.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/ltl2k.py 31b6c62aa7SNam Cao $(INSTALL) __main__.py -D -m 755 $(DESTDIR)$(bindir)/rvgen 32ccb21fc8SNam Cao cp -rp rvgen/templates $(DESTDIR)$(PYLIB)/rvgen/ 33