diff options
Diffstat (limited to 'Tools/CI-linux-install.sh')
| -rw-r--r-- | Tools/CI-linux-install.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Tools/CI-linux-install.sh b/Tools/CI-linux-install.sh index 93bb46412..5352eb3fa 100644 --- a/Tools/CI-linux-install.sh +++ b/Tools/CI-linux-install.sh @@ -152,10 +152,15 @@ case "$SWIGLANG" in if [[ -z "$VER" ]]; then $RETRY sudo apt-get -qq install scilab else - $RETRY wget --progress=dot:giga "https://www.scilab.org/download/$VER/scilab-$VER.bin.linux-x86_64.tar.gz" + # Download was .gz but switched to .xz for version 2023.0.0. + case $VER in + 20*) scilab_tarball=scilab-$VER.bin.linux-x86_64.tar.xz ;; + *) scilab_tarball=scilab-$VER.bin.linux-x86_64.tar.gz ;; + esac + $RETRY wget --progress=dot:giga "https://www.scilab.org/download/$VER/$scilab_tarball" # $HOME/.local/bin is in PATH and writeable mkdir -p "$HOME/.local" - tar -xzf "scilab-$VER.bin.linux-x86_64.tar.gz" --strip-components=1 -C "$HOME/.local" + tar -xzf "$scilab_tarball" --strip-components=1 -C "$HOME/.local" fi ;; "tcl") |