xref: /linux/tools/verification/rvgen/Makefile (revision 4ff261e725d7376c12e745fdbe8a33cd6dbd5a83) 
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