Set Python path when building the production image

Author: mscuttari

.jenkins/install_marco.sh

@@ -13,6 +13,7 @@ cmake \
   -G Ninja \
   -DCMAKE_LINKER_TYPE=MOLD \
   -DCMAKE_BUILD_TYPE=${MARCO_BUILD_TYPE} \
+  -DPython3_EXECUTABLE=${PYTHON3_EXECUTABLE} \
   || exit 1
 
 cmake --build build --target install || exit 1

.jenkins/prod-image.Dockerfile

@@ -2,6 +2,7 @@ ARG BASE_IMAGE=marco-compiler/marco-dev-release-debian-12:latest
 FROM $BASE_IMAGE
 
 ARG MARCO_COMMIT=master
+ARG PYTHON3_EXECUTABLE=/virtualenv/bin/python
 
 LABEL org.opencontainers.image.source="https://github.com/marco-compiler/marco"