From ad7181b235fb8399257ca1bab70b75b8fb2fb78a Mon Sep 17 00:00:00 2001 From: Warren Snipes Date: Tue, 1 Jul 2025 11:03:32 -0400 Subject: [PATCH] install make 4.4.1 --- Dockerfile | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/Dockerfile b/Dockerfile index 181cee9..0e9157f 100644 --- a/Dockerfile +++ b/Dockerfile @@ -29,6 +29,16 @@ RUN apt-get update && apt-get install -y \ libtbb-dev \ && rm -rf /var/lib/apt/lists/* +# Install Make 4.4.1 +RUN wget https://ftp.gnu.org/gnu/make/make-4.4.1.tar.gz && \ + tar -xzf make-4.4.1.tar.gz && \ + cd make-4.4.1 && \ + ./configure --prefix=/usr/local && \ + make && \ + make install && \ + cd .. && \ + rm -rf make-4.4.1 make-4.4.1.tar.gz + # Set working directory WORKDIR /usr/src