Dockerfile

FROM ubuntu:20.04 AS smts_base
RUN apt-get update \
    && DEBIAN_FRONTEND=noninteractive apt install -y openssh-server iproute2 openmpi-bin openmpi-common iputils-ping \
    && mkdir /var/run/sshd \
    && sed 's@session\s*required\s*pam_loginuid.so@session optional pam_loginuid.so@g' -i /etc/pam.d/sshd \
    && setcap CAP_NET_BIND_SERVICE=+eip /usr/sbin/sshd \
    && useradd -ms /bin/bash smts \
    && chown -R smts /etc/ssh/ \
    && su - smts -c \
        'ssh-keygen -q -t rsa -f ~/.ssh/id_rsa -N "" \
        && cp ~/.ssh/id_rsa.pub ~/.ssh/authorized_keys \
        && cp /etc/ssh/sshd_config ~/.ssh/sshd_config \
        && sed -i "s/UsePrivilegeSeparation yes/UsePrivilegeSeparation no/g" ~/.ssh/sshd_config \
        && printf "Host *\n\tStrictHostKeyChecking no\n" >> ~/.ssh/config'
WORKDIR /home
ENV NOTVISIBLE "in users profile"
RUN echo "export VISIBLE=now" >> /etc/profile
EXPOSE 22

########################################################################################################################
FROM smts_base AS builder
ENV CMAKE_BUILD_TYPE Release
ENV USE_READLINE OFF
ENV ENABLE_LINE_EDITING OFF
ENV PARALLEL ON
ENV FLAGS -Wall
# libedit-dev libsqlite3-dev graphviz
RUN apt-get update \
    && DEBIAN_FRONTEND=noninteractive apt install -y apt-utils make cmake \
     build-essential libgmp-dev bison flex \
     libopenmpi-dev git python3 awscli mpi
RUN git clone https://github.com/usi-verification-and-security/SMTS.git --single-branch
RUN cd SMTS && sh bin/make_smts.sh
RUN cd SMTS && rm -rf graphviz
RUN cd SMTS && rm -rf gui
RUN SMTS && rm -rf build/_deps/ptplib-src/tests
RUN SMTS && rm -rf build/_deps/opensmt-src/regression* && rm -rf build/_deps/opensmt-src/benchmark && rm -rf build/_deps/opensmt-src/docs && rm -rf build/_deps/opensmt-src/examples
RUN cd SMTS && chmod 755 bin/make_combined_hostfile.py
RUN cd SMTS && chmod 755 bin/supervisor.sh
RUN cd SMTS && chmod 777 bin
RUN chmod 777 .
USER smts
CMD ["/usr/sbin/sshd", "-D", "-f", "/home/.ssh/sshd_config"]
CMD SMTS/bin/supervisor.sh