Dockerfile.parcoach

FROM --platform=linux/amd64 debian:12 
USER root

RUN apt-get update --fix-missing && \
    apt-get install -y p7zip p7zip-full apt-transport-https ca-certificates python-is-python3 python3-pip pipenv valgrind git cmake vim clang-format && \
    update-ca-certificates && \
    apt-get autoremove -yq && apt-get clean -yq


# Install python dependencies with pipenv and activate virtualenv
ENV PIPENV_VENV_IN_PROJECT=1
COPY Pipfile .
RUN pipenv install
ENV PATH="/.venv/bin:$PATH"

# our code, required to build the tool
#COPY . /MBI

# Building Parcoach
RUN apt-get -y install wget cmake git  clang-15 clang++-15 clang-format openmpi-bin libopenmpi-dev && \
    ln -s /usr/bin/clang-15 /usr/bin/clang && \
    ln -s /usr/bin/clang++-15 /usr/bin/clang++ && \
    #/MBI/MBI.py -c build -x parcoach && \
    apt-get clean -y 


RUN mkdir /tmp/build-parcoach
WORKDIR /tmp/build-parcoach
RUN wget https://gitlab.inria.fr/api/v4/projects/12320/packages/generic/parcoach/2.4.0/parcoach-2.4.0-shared-Linux.tar.gz
RUN tar xfz parcoach-*.tar.gz