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"]