ARG BASE_LABEL
FROM mpioperator/base:${BASE_LABEL}
RUN apt update \
&& apt install -y --no-install-recommends openmpi-bin \
&& rm -rf /var/lib/apt/lists/*