summaryrefslogtreecommitdiff
path: root/tools/verification/dot2/Makefile
blob: 235d182f6b2c5886d19e7a9200a2df185972161b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
INSTALL=install

prefix  ?= /usr
bindir  ?= $(prefix)/bin
mandir  ?= $(prefix)/share/man
miscdir ?= $(prefix)/share/dot2
srcdir  ?= $(prefix)/src

PYLIB  ?= $(shell python3 -c 'import sysconfig;  print (sysconfig.get_path("purelib"))')

.PHONY: all
all:

.PHONY: clean
clean:

.PHONY: install
install:
	$(INSTALL) automata.py -D -m 644 $(DESTDIR)$(PYLIB)/dot2/automata.py
	$(INSTALL) dot2c.py -D -m 644 $(DESTDIR)$(PYLIB)/dot2/dot2c.py
	$(INSTALL) dot2c -D -m 755 $(DESTDIR)$(bindir)/