diff options
author | Clément DAVID <clement.david@3ds.com> | 2023-03-31 10:02:08 +0200 |
---|---|---|
committer | Olly Betts <olly@survex.com> | 2023-04-20 07:34:17 +1200 |
commit | 321cc1bf33c007a9f69853ea70307b373f115caa (patch) | |
tree | 479fa71297fbf6289a6b7f8a517051db30741616 /Tools | |
parent | 58160ca4eb5915b3be7873968f362cc26e784407 (diff) | |
download | swig-321cc1bf33c007a9f69853ea70307b373f115caa.tar.gz |
scilab: detect version 2023 correctly
Diffstat (limited to 'Tools')
-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") |