diff options
| -rw-r--r-- | .gitmodules | 3 | ||||
| m--------- | 3rd-party/typeshed | 0 | ||||
| -rw-r--r-- | GNUmakefile | 3 |
3 files changed, 6 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index d8d8265..9829645 100644 --- a/.gitmodules +++ b/.gitmodules @@ -6,3 +6,6 @@ [submodule "3rd-party/pico-sdk"] path = 3rd-party/pico-sdk url = https://github.com/raspberrypi/pico-sdk +[submodule "3rd-party/typeshed"] + path = 3rd-party/typeshed + url = https://github.com/LukeShu/typeshed diff --git a/3rd-party/typeshed b/3rd-party/typeshed new file mode 160000 +Subproject 6bf9cdb693c18b9de7d97e25d49464636a4582c diff --git a/GNUmakefile b/GNUmakefile index 518f8d6..7bfc73c 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -90,6 +90,9 @@ get_dscname = sed -n '1,3{ /^\#!/d; /^<!--$$/d; /-\*- .* -\*-/d; s,[/*\# ]*,,; s build-aux/venv: build-aux/requirements.txt python3 -m venv $@ $@/bin/pip install -r $< +# Patch in https://github.com/python/typeshed/pull/13169 + rm -rf "$$(./build-aux/venv/bin/python -c 'import site; print(site.getsitepackages()[0])')/gdb-stubs" + ln -srT 3rd-party/typeshed/stubs/gdb/gdb "$$(./build-aux/venv/bin/python -c 'import site; print(site.getsitepackages()[0])')/gdb-stubs" touch --no-create $@ # `lint` ########### |