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