From 6959fdf7e7d65f569d568a5ad2e791cb8eee57ff Mon Sep 17 00:00:00 2001 From: Arthur Meyre Date: Thu, 19 Aug 2021 10:45:17 +0200 Subject: [PATCH] chore(tools): only make setup_env in dev docker if venv does not exist --- docker/Dockerfile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index af09e3aa0..71a27ddfd 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -3,9 +3,12 @@ FROM ghcr.io/zama-ai/zamalang-compiler RUN apt-get install --no-install-recommends -y python3.8 python3.8-venv python-is-python3 git && \ pip install --no-cache-dir --upgrade pip && \ pip install --no-cache-dir poetry && \ - echo "python3 -m venv /hdk/.docker_venv" >> /root/.bashrc && \ echo "source /hdk/.docker_venv/bin/activate" >> /root/.bashrc && \ - echo "cd /hdk/ && make setup_env" >> /root/.bashrc && \ + echo "if [[ \"\$?\" != \"0\" ]]; then" >> /root/.bashrc && \ + echo " python3 -m venv /hdk/.docker_venv" >> /root/.bashrc && \ + echo " source /hdk/.docker_venv/bin/activate" >> /root/.bashrc && \ + echo " cd /hdk/ && make setup_env" >> /root/.bashrc && \ + echo "fi" >> /root/.bashrc && \ echo "export LD_PRELOAD=/concrete/target/release/libconcrete_ffi.so" >> /root/.bashrc WORKDIR /hdk