Files
concrete/docker/Dockerfile.hdk-dev
Arthur Meyre 135805a1b9 tools: make matplotlib work inside the dev docker
- use special DNS from docker
- install tkinter
- use proper matplotlib backend
- add instructions to install xserver in docs/dev/GETTING-STARTED.md
2021-08-31 14:57:20 +02:00

15 lines
611 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=/compiler/build/lib/Runtime/libZamalangRuntime.so" >> /root/.bashrc && \
echo "export MPLBACKEND=TkAgg" >> /root/.bashrc
WORKDIR /hdk
ENTRYPOINT ["/bin/bash", "-l"]