diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 3 |
1 files changed, 3 insertions, 0 deletions
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` ########### |