From d4f0dbc4f80560f02270251a813774e5180909ec Mon Sep 17 00:00:00 2001
From: youben11 <ayoub.benaissa@zama.ai>
Date: Tue, 14 Dec 2021 10:44:40 +0100
Subject: [PATCH] fix: add /build/bin to PATH

FileCheck wasn't found during tests
---
 builders/Dockerfile.zamalang-env-gcc6 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/builders/Dockerfile.zamalang-env-gcc6 b/builders/Dockerfile.zamalang-env-gcc6
index d3722f8e3..b115ce3ec 100644
--- a/builders/Dockerfile.zamalang-env-gcc6
+++ b/builders/Dockerfile.zamalang-env-gcc6
@@ -18,4 +18,5 @@ ENV CONCRETE_PROJECT=/concrete
 COPY /compiler /compiler
 WORKDIR /compiler
 RUN mkdir -p /build
-RUN make BUILD_DIR=/build Python3_EXECUTABLE=/opt/python/${python_tag}/bin/python CCACHE=ON python-bindings zamacompiler
\ No newline at end of file
+RUN make BUILD_DIR=/build Python3_EXECUTABLE=/opt/python/${python_tag}/bin/python CCACHE=ON python-bindings zamacompiler
+ENV PATH "$PATH:/build/bin"
\ No newline at end of file