summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2023-11-21 11:13:15 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2023-11-21 11:15:24 +0100
commit3ae44e02ef4aae4ce06aa4b64015f943ef91628c (patch)
tree8371e35a405569f12c49e2bcc0477e17e041c222 /Makefile
parent027ed522a4088020a998d309a70a631253808e88 (diff)
Makefile: Create env/bin/python3-config
This is a workaround to let the RSB build GDB in a virtual Python environment.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index b4e97fb2..6627d317 100644
--- a/Makefile
+++ b/Makefile
@@ -27,5 +27,8 @@ coverage-report:
.PHONY: env
env:
+ test -z "$$VIRTUAL_ENV"
python3 -m venv env
. env/bin/activate && pip install --upgrade pip && pip install -r requirements.txt
+ echo -e "#!/bin/sh\n$$(which python3-config) "'$$@' > env/bin/python3-config
+ chmod +x env/bin/python3-config