Dockerfile

ARG PARENT_IMAGE=cirss/repro-parent:latest

FROM ${PARENT_IMAGE}

# copy exports into new Docker image
COPY exports /repro/exports

# copy the repro boot setup script from the distribution and run it
ADD ${REPRO_DIST}/boot-setup /repro/dist/
RUN bash /repro/dist/boot-setup

USER repro

# install required external repro modules
RUN repro.require python-dev master ${REPROS_DEV} --default --code
RUN repro.require shell-notebook master ${REPROS_DEV}
RUN repro.require graphviz-runtime master ${REPROS_DEV} --util
RUN repro.require gnupg-runtime master ${REPROS_DEV}
RUN repro.require gnupg-api master ${REPROS_DEV}

RUN sudo apt install graphviz-dev -y

# install contents of the exports directory as a repro module
RUN repro.require trace-model exports --demo

# use a local directory named tmp for each demo
RUN repro.env REPRO_DEMO_TMP_DIRNAME tmp

CMD  /bin/bash -il