From b12331634c43f8d3c14b6502660fa123e5b1594c Mon Sep 17 00:00:00 2001
From: rudy <rudy.sicard@zama.ai>
Date: Mon, 18 Jul 2022 09:43:39 +0200
Subject: [PATCH] fix(Makefile): Python3_EXECUTABLE need to be defined on some
 setup

---
 compiler/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/Makefile b/compiler/Makefile
index 62982250e..67cf36c87 100644
--- a/compiler/Makefile
+++ b/compiler/Makefile
@@ -1,5 +1,5 @@
 BUILD_DIR=./build
-Python3_EXECUTABLE=
+Python3_EXECUTABLE?=
 BINDINGS_PYTHON_ENABLED=ON
 PARALLEL_EXECUTION_ENABLED=OFF
 CC_COMPILER=