@@ -11,7 +11,7 @@ RUN echo "deb-src http://deb.debian.org/debian bookworm main contrib non-free no
1111 && echo "deb-src http://deb.debian.org/debian trixie main contrib non-free non-free-firmware" >> /etc/apt/sources.list
1212RUN apt-get update && apt-get install -y --no-install-recommends dpkg-dev
1313
14- WORKDIR /sources- deb
14+ WORKDIR /sources/ deb
1515RUN apt-get source --download-only \
1616 armadillo \
1717 bindfs \
@@ -63,7 +63,7 @@ RUN apt-get source --download-only \
6363 xerces-c \
6464 z3
6565
66- WORKDIR /sources- python
66+ WORKDIR /sources/ python
6767RUN apt-get update && apt-get install --no-install-recommends -y ca-certificates git
6868RUN : \
6969 ; git clone --depth 1 https://github.com/certifi/python-certifi \
@@ -73,7 +73,7 @@ RUN : \
7373 ; git clone --depth 1 https://github.com/psycopg/psycopg2 \
7474 ; git clone --depth 1 https://github.com/tqdm/tqdm
7575
76- WORKDIR /sources- conan
76+ WORKDIR /sources/ conan
7777RUN : \
7878 ; git clone --depth 1 https://github.com/autotools-mirror/autoconf \
7979 ; git clone --depth 1 https://github.com/autotools-mirror/automake \
@@ -84,14 +84,14 @@ RUN : \
8484 ; git clone --depth 1 https://github.com/eigenteam/eigen-git-mirror \
8585 ; git clone --depth 1 https://github.com/gcc-mirror/gcc
8686
87- WORKDIR /sources- other
87+ WORKDIR /sources/ other
8888RUN : \
8989 ; git clone --depth 1 https://github.com/mozilla/geckodriver \
9090 ; git clone --depth 1 https://github.com/mirror/busybox
9191
9292FROM debian:13@sha256:55a15a112b42be10bfc8092fcc40b6748dc236f7ef46a358d9392b339e9d60e8
9393
94- COPY --from=source-grabber /sources* /sources
94+ COPY --from=source-grabber /sources /sources
9595COPY third-party-programs.txt /sources
9696WORKDIR /sources
9797
0 commit comments