fix: make python executable configurable

2026-05-17 17:40:10 +02:00
parent b16e468cff
commit f6e533cc94
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@@ -10,6 +10,8 @@ FLAG_LEN ?= 32
 FLAG_FORMAT ?= ctf{FLAG_GOES_HERE}
 FLAG_SEED ?= false

+PYTHON_EXE ?= python
+
 # Compilation variables
 RISCV_CC ?= riscv64-unknown-elf-gcc
 RISCV_ARCH_FLAGS ?= -march=rv32im -mabi=ilp32
@@ -106,7 +108,7 @@ endif

 $(GENERATED): .FORCE
 	mkdir -p $(dir $@)
-	python codegen/generate.py $(FLAG_FORMAT) $(FLAG_LEN) $(FLAG_SEED) > $@
+	$(PYTHON_EXE) codegen/generate.py $(FLAG_FORMAT) $(FLAG_LEN) $(FLAG_SEED) > $@


 build: