diff --git a/Dockerfile b/Dockerfile index 2531b85..59ff5fe 100644 --- a/Dockerfile +++ b/Dockerfile @@ -72,7 +72,7 @@ RUN chmod +x /tmp/install_magma.sh RUN bash /tmp/install_magma.sh WORKDIR /tools -RUN wget https://boostorg.jfrog.io/artifactory/main/release/1.69.0/source/boost_1_69_0.tar.gz && tar -xzvf boost_1_69_0.tar.gz +RUN wget hhttps://precimed.s3.eu-west-1.amazonaws.com/gsa-mixer/boost_1_69_0.tar.gz && tar -xzvf boost_1_69_0.tar.gz RUN cd boost_1_69_0 && ./bootstrap.sh --with-libraries=program_options,filesystem,system,date_time && ./b2 --clean && ./b2 --j12 -a WORKDIR /tools/mixer