Dockerfile

FROM ubuntu:jammy

LABEL maintainer="alexandre.abadie@inria.fr"

# Install tools required by the murdock scripts
RUN apt-get update && \
    apt-get install -y --no-install-recommends \
        curl \
        bsdmainutils \
        doxygen \
        git \
        graphviz \
        make \
        moreutils \
        python3-pip \
        python3-venv \
        ssh-client \
        tini \
        wget \
        && \
    apt-get clean && rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*

RUN python3 -m pip install --upgrade pip && \
    python3 -m pip install \
        dwq==0.0.56 \
        orjson==3.6.6 \
        requests==2.27.1 \
        PyYAML==6.0.1

# get git-cache directly from github
RUN wget https://raw.githubusercontent.com/kaspar030/git-cache/f76c3a5f0e15f08c28e53fb037755f29f0b76d88/git-cache \
        -O /usr/bin/git-cache \
        && chmod a+x /usr/bin/git-cache

# Set a global system-wide git user and email address
RUN git config --system user.name "riot" && \
    git config --system user.email "riot@riot-labs.de"

RUN mkdir -p /opt/murdock-scripts
COPY . /opt/murdock-scripts

RUN chmod +x /opt/murdock-scripts/build.sh
RUN chmod +x /opt/murdock-scripts/reporter.py
RUN chmod +x /opt/murdock-scripts/process_result.py

ARG UID=1000
ARG GID=1000

RUN groupadd --gid ${GID} murdock
RUN useradd --home-dir /home/murdock --shell /bin/bash --uid ${UID} --gid ${GID} murdock
USER murdock

ENTRYPOINT ["/usr/bin/tini", "-g", "--"]

CMD ["/opt/murdock-scripts/build.sh"]