From 7fe12cc107cca222ed5581543654f803ca2d860b Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Thu, 4 Sep 2025 18:09:17 +0200 Subject: allow the maps Makefile to use the pipenv virtual environment --- maps/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/maps/Makefile b/maps/Makefile index 9ed6dc36..ab3c5db6 100644 --- a/maps/Makefile +++ b/maps/Makefile @@ -4,7 +4,8 @@ VERBOSE = @ PNGS = $(MAPS:.yml=.png) -GENERATE_MAP_IMG=../scripts/generate_map_img.py +PY_ENV_PREFIX ?= +GENERATE_MAP_IMG = ../scripts/generate_map_img.py MAKEFILE_LIST = Makefile @@ -13,7 +14,7 @@ all: $(PNGS) %.png : %.yml $(MAKEFILE_LIST) $(GENERATE_MAP_IMG) @echo "generate map › $@" - $(VERBOSE) $(GENERATE_MAP_IMG) $< + $(VERBOSE) $(PY_ENV_PREFIX) $(GENERATE_MAP_IMG) $< clean: rm -f $(PNGS) -- cgit v1.2.3