FROM cos7_base

ARG VALGRIND_VER=valgrind-3.17.0

RUN wget https://sourceware.org/pub/valgrind/$VALGRIND_VER.tar.bz2 && \
    tar -xvf $VALGRIND_VER.tar.bz2 && \
    cd $VALGRIND_VER && \
    ./configure && \
    make -j$(nproc) && \
    make install && \
    cd ../ && rm -rf $VALGRIND_VER*

# Exécuter une commande au démarrage de l'image.
CMD ["/bin/bash"]
