Files
concrete/docker/Dockerfile.hdk-dev
Arthur Meyre 202dffb4a5 Build/env dev docker 127 (#196)
build: add workflow to create HDK env Docker Image

- make bot username a secret
- update Makefile to pull the HDK image
- have a separate Makefile for the dev specific Docker Image needs
2021-08-25 14:09:54 +02:00

14 lines
548 B
Docker

FROM ghcr.io/zama-ai/hdk-env
RUN echo "source /hdk/.docker_venv/bin/activate" >> /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
ENTRYPOINT ["/bin/bash", "-l"]