blob: fd806957c83853b87b5ca2c4cc1f678d5478df32 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
CFLAGS += -fno-split-stack
CFLAGS += -Wall -Wextra -Werror
CFLAGS += -g -O0
CPPFLAGS += -I.
LDFLAGS += -static
linux.git = $(HOME)/src/github.com/torvalds/linux
3rd-party/linux-errno.txt:
{ \
cd $(linux.git) && \
echo "# Generated from linux.git $$(git describe). DO NOT EDIT!" && \
git ls-files include/uapi/ | grep errno | xargs grep -E '#\s*define\s+E[A-Z0-9]+\s+[0-9]+' | awk '{print $$3, $$2}' | sort --numeric-sort && \
:; } >$@
9p/linux-errno.h: %: %.gen 3rd-party/linux-errno.txt
$^ >$@
9p/%.c 9p/%.h: 9p/generate 9p/%.txt
$^
srv9p: srv9p.o coroutine.o net9p.o 9p/9P2000.o
sources_py = 9p/generate
sources_py += 9p/linux-errno.h.gen
lint:
mypy --strict --scripts-are-modules $(sources_py)
black --check $(sources_py)
isort --check $(sources_py)
format:
black $(sources_py)
isort $(sources_py)
.PHONY: lint format
.NOTINTERMEDIATE:
.DELETE_ON_ERROR:
|
