From 244f3c8b19cc96e2ccfa72f96c7a88c6a89b3ec5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9o=20Cardao?= <cardao@adacore.com>
Date: Thu, 18 Apr 2024 16:39:41 +0200
Subject: [PATCH] Fix pip error

pip fails in production because it cannot find setuptools
(which is installed) and tries to connect it to pypi.

We add the --no-build-isolation option to allow pip to use the setuptools
installed in our python.
---
 src/e3/python/wheel.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/e3/python/wheel.py b/src/e3/python/wheel.py
index 57c17d2e..e124ab13 100644
--- a/src/e3/python/wheel.py
+++ b/src/e3/python/wheel.py
@@ -58,6 +58,7 @@ def build(cls, source_dir: str, dest_dir: str, python_tag: str = "py3") -> Wheel
                     "wheel",
                     ".",
                     "-q",
+                    "--no-build-isolation",
                     "--no-deps",
                     f"-C--python-tag={python_tag}",
                     "-w",