Skip to content

Commit ad7181b

Browse files
committed
install make 4.4.1
1 parent 69b7858 commit ad7181b

1 file changed

Lines changed: 10 additions & 0 deletions

File tree

Dockerfile

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,16 @@ RUN apt-get update && apt-get install -y \
2929
libtbb-dev \
3030
&& rm -rf /var/lib/apt/lists/*
3131

32+
# Install Make 4.4.1
33+
RUN wget https://ftp.gnu.org/gnu/make/make-4.4.1.tar.gz && \
34+
tar -xzf make-4.4.1.tar.gz && \
35+
cd make-4.4.1 && \
36+
./configure --prefix=/usr/local && \
37+
make && \
38+
make install && \
39+
cd .. && \
40+
rm -rf make-4.4.1 make-4.4.1.tar.gz
41+
3242
# Set working directory
3343
WORKDIR /usr/src
3444

0 commit comments

Comments
 (0)