X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a622f231d43c8b1275cf3cf7d3e6c3092bd1f86f..ad9601b521b3cb8e131c2a9952117ba27d6af820:/tools/docker/Dockerfile.stable

diff --git a/tools/docker/Dockerfile.stable b/tools/docker/Dockerfile.stable
index 300ab2d920..59c45a3d2b 100644
--- a/tools/docker/Dockerfile.stable
+++ b/tools/docker/Dockerfile.stable
@@ -1,20 +1,21 @@
-# Base image 
-FROM debian:testing
+# Base image: use a named release to avoid names clashes when calling apt upgrade on the resulting image
+FROM debian:11 #  Bullseye, release 2021-08-14
 
 ARG DLURL
 
 # - Install SimGrid's dependencies
 # - Compile and install SimGrid itself
 RUN echo "DOWNLOAD_URL: ${DLURL}" && \
-    apt update && apt install -y wget && \
-    mkdir /src && cd /src && \
+    apt-get update && apt upgrade -y && apt install -y wget && \
+    mkdir /source && cd /source && \
     wget https://framagit.org/${DLURL} && \
-    tar xf SimGrid-* && rm SimGrid-*tar.gz && \
-    cd SimGrid-* && \
-    apt install -y gcc g++ default-jdk gfortran libboost-dev libboost-all-dev cmake valgrind libboost-coroutine1.62.0 && \
-    cmake -DCMAKE_INSTALL_PREFIX=/usr/ -Denable_documentation=OFF -Denable_java=ON -Denable_smpi=ON -Denable_compile_optimizations=ON . && \
-    make -j4 install && make clean && \
-    apt remove -y  gcc g++ default-jdk gfortran libboost-dev libboost-all-dev cmake wget && \
+    tar xf simgrid-* && rm simgrid-*tar.gz && \
+    cd simgrid-* && \
+    apt install -y g++ gcc git valgrind gfortran libboost-dev libboost-all-dev cmake dpkg-dev && \
+    cmake -DCMAKE_INSTALL_PREFIX=/usr/ -Denable_documentation=OFF -Denable_smpi=ON -Denable_compile_optimizations=ON . && \
+    make -j4 && \
+    mkdir debian/ && touch debian/control && dpkg-shlibdeps --ignore-missing-info lib/*.so -llib/ -O/tmp/deps && \
+    make install && make clean && \
+    apt remove -y  g++ gcc git valgrind default-jdk gfortran libboost-dev libboost-all-dev cmake dpkg-dev wget && \
+    apt install `sed -e 's/shlibs:Depends=//' -e 's/([^)]*)//g' -e 's/,//g' /tmp/deps` && \
     apt autoremove -y && apt autoclean && apt clean
-
-    
\ No newline at end of file