From ad1bfa73a9a02f36e5146380c08d7c799152a7a9 Mon Sep 17 00:00:00 2001 From: Fabian Zickgraf Date: Sat, 1 Jul 2023 19:58:10 +0200 Subject: [PATCH] Revert "Revert "Revert "Use Julia 1.9 until GAP.jl is compatible with Julia master again""" --- Dockerfile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index 57376a7..97b040a 100644 --- a/Dockerfile +++ b/Dockerfile @@ -183,8 +183,7 @@ WORKDIR /home/gap # create GAP user root RUN mkdir -p .gap/pkg -# use Julia 1.9 until https://github.com/oscar-system/GAP.jl/issues/902 is fixed -RUN mkdir -p inst/julia-master && curl -L https://julialang-s3.julialang.org/bin/linux/x64/1.9/julia-1.9.1-linux-x86_64.tar.gz | tar -xvz --strip-components=1 -C inst/julia-master +RUN mkdir -p inst/julia-master && curl -L https://julialangnightlies-s3.julialang.org/bin/linux/x64/julia-latest-linux64.tar.gz | tar -xvz --strip-components=1 -C inst/julia-master ENV PATH /home/gap/inst/julia-master/bin:${PATH}