Home
last modified time | relevance | path

Searched refs:PYLIB (Results 1 – 1 of 1) sorted by relevance

/tools/verification/rvgen/
A DMakefile8 PYLIB ?= $(shell python3 -c 'import sysconfig; print (sysconfig.get_path("purelib"))') macro
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
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
27 cp -rp rvgen/templates $(DESTDIR)$(PYLIB)/rvgen/

Completed in 1 milliseconds