Commit 5529aba893bd0616d0777483405014df8fcb9d86

Thomas de Grivel 2024-09-16T16:40:32

Dockerfile: git clone in one RUN

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
diff --git a/Dockerfile b/Dockerfile
index f54c3de..fbda858 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,14 +1,7 @@
 FROM debian:latest
 RUN apt-get update
 RUN apt-get install pkg-config gcc libtool-bin make ruby time libffi-dev libbsd-dev libevent-dev
-RUN git clone https://git.kmx.io/kc3-lang/kc3.git
-RUN cd kc3
-RUN git submodule init
-RUN git submodule update
-RUN cd fonts
-RUN git submodule init
-RUN git submodule update
-RUN cd ..
+RUN git clone https://git.kmx.io/kc3-lang/kc3.git && cd kc3 && git submodule init && git submodule update && cd fonts && git submodule init && git submodule update && cd ..
 RUN ./configure
 RUN make
 RUN . ./env