From 0af3e121445d5c2486bc03a512a5de42d16fef76 Mon Sep 17 00:00:00 2001 From: shane knapp Date: Wed, 29 Nov 2023 14:00:23 -0800 Subject: [PATCH] bump julia --- deployments/julia/image/install-julia.bash | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/deployments/julia/image/install-julia.bash b/deployments/julia/image/install-julia.bash index 9141efad2..681655918 100755 --- a/deployments/julia/image/install-julia.bash +++ b/deployments/julia/image/install-julia.bash @@ -1,4 +1,11 @@ #!/usr/bin/env bash set -euo pipefail -curl --silent --location --fail https://julialang-s3.julialang.org/bin/linux/x64/1.6/julia-1.6.7-linux-x86_64.tar.gz | tar xvz -C ${JULIA_DIR} --strip-components=1 +JULIA_MAJOR_VERSION='1' +JULIA_MINOR_VERSION='9' +JULIA_PATCH_VERSION='2' + +JULIA_MAIN_VERSION='${JULIA_MAJOR_VERSION}.${JULIA_MINOR_VERSION}' +JULIA_FULL_VERSION='${JULIA_MAIN_VERSION}.${JULIA_PATCH_VERSION}' + +curl --silent --location --fail https://julialang-s3.julialang.org/bin/linux/x64/${JULIA_MAIN_VERSION}/julia-${JULIA_FULL_VERSION}-linux-x86_64.tar.gz | tar xvz -C ${JULIA_DIR} --strip-components=1