From: Martin Quinson Date: Mon, 13 May 2019 10:24:13 +0000 (+0200) Subject: docker: remove useless packages from tuto-mc X-Git-Tag: v3.22.4~127^2~30 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3225ed09905eefdadcef1e2569b5897052dc4dfd docker: remove useless packages from tuto-mc --- diff --git a/tools/docker/Dockerfile.tuto-mc b/tools/docker/Dockerfile.tuto-mc index c53640cb4b..888c7dd737 100644 --- a/tools/docker/Dockerfile.tuto-mc +++ b/tools/docker/Dockerfile.tuto-mc @@ -2,7 +2,7 @@ FROM debian:testing # - Install SimGrid's dependencies -# - Compile and install SimGrid itself. Clean the tree. +# - Compile and install SimGrid itself. # - Remove everything that was installed, and re-install what's needed by the SimGrid libraries before the Gran Final Cleanup # - Keep g++ gcc gfortran as any MC user will use (some of) them RUN apt update && apt -y upgrade && \ @@ -10,12 +10,12 @@ RUN apt update && apt -y upgrade && \ mkdir /source/ && cd /source && git clone --depth=1 https://framagit.org/simgrid/simgrid.git simgrid.git && \ cd simgrid.git && \ cmake -DCMAKE_INSTALL_PREFIX=/usr/ -Denable_model-checking=ON -Denable_documentation=OFF -Denable_java=OFF -Denable_smpi=ON -Denable_compile_optimizations=ON . && \ - make -j4 install + make -j4 install \ + mkdir debian/ && touch debian/control && dpkg-shlibdeps --ignore-missing-info lib/*.so -llib/ -O/tmp/deps && \ + apt remove -y git valgrind libboost-dev libboost-all-dev cmake dpkg-dev libunwind-dev libdw-dev libelf-dev libevent-dev && \ + apt install `sed -e 's/shlibs:Depends=//' -e 's/([^)]*)//g' -e 's/,//g' /tmp/deps` && rm /tmp/deps && \ + apt autoremove -y && apt autoclean && apt clean # The build and dependencies are not cleaned in this image since it's it's highly experimental so far # git reset --hard master && git clean -dfx && \ -# mkdir debian/ && touch debian/control && dpkg-shlibdeps --ignore-missing-info lib/*.so -llib/ -O/tmp/deps && \ -# apt remove -y git valgrind libboost-dev libboost-all-dev cmake dpkg-dev libunwind-dev libdw-dev libelf-dev libevent-dev && \ -# apt install `sed -e 's/shlibs:Depends=//' -e 's/([^)]*)//g' -e 's/,//g' /tmp/deps` && rm /tmp/deps && \ -# apt autoremove -y && apt autoclean && apt clean