tools/docker/Dockerfile.tuto-mc

   1 # Rebuild with this image with the following commande:
   2 #    docker build -f Dockerfile.tuto-mc -t simgrid/tuto-mc .
   3 # Launch it as follows:
   4 #    docker run -it simgrid/tuto-mc bash
   5
   6 # Base image
   7 FROM debian:testing
   8
   9 RUN apt update && apt -y upgrade
  10
  11 # - Install SimGrid's dependencies
  12 # - Compile and install SimGrid itself.
  13 # - Get the tutorial files (with an empty makefile advising to run cmake before make, just in case)
  14 # - Remove everything that was installed, and re-install what's needed by the SimGrid libraries before the Gran Final Cleanup
  15 # - Keep g++ gcc gfortran as any MC user will use (some of) them
  16 RUN apt install -y g++ gcc git valgrind gfortran libboost-dev libeigen3-dev libboost-stacktrace-dev cmake dpkg-dev libdw-dev libelf-dev libevent-dev python3-dev && \
  17     mkdir /source/ && cd /source && git clone --depth=1 https://framagit.org/simgrid/simgrid.git simgrid.git && \
  18     cd simgrid.git && \
  19     cmake -DCMAKE_INSTALL_PREFIX=/usr/ -Denable_model-checking=ON -Denable_documentation=OFF -Denable_smpi=ON -Denable_compile_optimizations=ON . && \
  20     make -j6 install && \
  21     git clone --depth=1 https://framagit.org/simgrid/tutorial-model-checking /source/tuto-mc.git && \
  22     printf "ndet-receive-s4u:\n\t@echo \"Please run the following command before make:\";echo \"    cmake .\"; exit 1" > /source/tuto-mc.git/Makefile &&\
  23     mkdir debian/ && touch debian/control && dpkg-shlibdeps --ignore-missing-info lib/*.so -llib/ -O/tmp/deps && \
  24     apt remove -y dpkg-dev libdw-dev libelf-dev libevent-dev && \
  25     apt install -y `sed -e 's/shlibs:Depends=//' -e 's/([^)]*)//g' -e 's/,//g' /tmp/deps` && rm /tmp/deps && \
  26     apt autoremove -y && apt autoclean && apt clean
  27
  28 # The build and dependencies are not cleaned in this image since it's it's experimental so far
  29 #    git reset --hard master && git clean -dfx && \
  30
  31
  32 CMD ["/bin/bash"]