mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
synced 2025-08-17 11:28:23 +00:00
97ffa4ce6a
Add support for generating RV monitors from linear temporal logic, similar to the generation of deterministic automaton monitors. Cc: Masami Hiramatsu <mhiramat@kernel.org> Cc: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> Cc: Gabriele Monaco <gmonaco@redhat.com> Link: https://lore.kernel.org/f3c63b363ff9c5af3302ba2b5d92a26a98700eaf.1751634289.git.namcao@linutronix.de Signed-off-by: Nam Cao <namcao@linutronix.de> Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
28 lines
950 B
Makefile
28 lines
950 B
Makefile
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/
|