aturn

docker/saturn/Dockerfile

@@ -40,7 +40,6 @@ RUN apt-get update && apt-get install -y \
     libgmp-dev \
     libmpfr-dev \
     libmpc-dev \
-    xorriso \
     && rm -rf /var/lib/apt/lists/*
 
 RUN mkdir -p "${YAUL_INSTALL_ROOT}"
@@ -358,5 +357,12 @@ RUN wget -q https://github.com/nih-at/libzip/releases/download/v1.10.1/libzip-1.
     && rm -rf /tmp/libzip-1.10.1 /tmp/libzip-build /tmp/sat-xc.cmake \
     ; rm -f /tmp/libzip.tar.gz /tmp/zlib.tar.gz 2>/dev/null ; true
 
+# ---------------------------------------------------------------------------
+# 15. Disc-image tools (separate layer so it does not invalidate the
+#     expensive cross-compiler cache layers above on changes).
+#     xorriso provides xorrisofs, needed by Yaul's make-iso script.
+# ---------------------------------------------------------------------------
+RUN apt-get update && apt-get install -y xorriso && rm -rf /var/lib/apt/lists/*
+
 WORKDIR /workdir
 VOLUME ["/workdir"]