Update Julia to 1.7.0

This commit is contained in:
Max Horn 2021-12-10 09:04:18 +01:00 committed by GitHub
parent c360f89a09
commit 934211827f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions

View File

@ -4,12 +4,12 @@ aliases:
name: "Julia"
install:
prepare:
apt:
- julia
apt:
- julia
manual: |
wget https://julialang-s3.julialang.org/bin/linux/x64/1.7/julia-1.7.0-linux-x86_64.tar.gz
tar xvf julia-*.tar.gz
rm julia-*.tar.gz
ln -s julia-*/bin/julia /usr/local/bin/julia
install -d "${pkg}/opt/julia-language-server"
export JULIA_DEPOT_PATH="${pkg}/opt/julia-language-server"