From f6e533cc94176268708ec9472326e413856c75dc Mon Sep 17 00:00:00 2001
From: Michael <20937441+KMikeeU@users.noreply.github.com>
Date: Sun, 17 May 2026 17:40:10 +0200
Subject: [PATCH] fix: make python executable configurable

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 10a442d..8074f26 100644
--- a/Makefile
+++ b/Makefile
@@ -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: