mirror of
https://github.com/torvalds/linux.git
synced 2026-09-26 01:52:03 +02:00
5b4b6ef9cd
Add the rvgen kunit subcommand to patch an already generated monitor for kunit support. It parses the handlers and create the necessary structs and initialisations. The only remaining manual steps are importing the test in the runner and writing the test itself. Reviewed-by: Nam Cao <namcao@linutronix.de> Link: https://lore.kernel.org/r/20260723074534.43521-10-gmonaco@redhat.com Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
33 lines
1.1 KiB
Makefile
33 lines
1.1 KiB
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: check
|
|
check:
|
|
prove -o --directives -f tests/
|
|
|
|
.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/kunit.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/kunit.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/
|