Merge pull request #5245 from shaneknapp/upgrade-julia

[DH-183] bump julia
berkeley-dsep-infra · Nov 29, 2023 · 5d9b38f · 5d9b38f
2 parents 2287c12 + 6f70bee
commit 5d9b38f
Showing 1 changed file with 8 additions and 1 deletion.
diff --git 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