Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
tjh.dev
kernel
os
linux
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/