diff --git a/install_deb.sh b/install_deb.sh index 5f32c9f..90eeb4b 100755 --- a/install_deb.sh +++ b/install_deb.sh @@ -1,12 +1,12 @@ #!/bin/bash -LLVM_VERSION=13 +LLVM_VERSION=12 ARCH=$(uname -p) if [[ $ARCH = "x86_64" ]]; then SHFMT_URL=https://github.com/mvdan/sh/releases/download/v3.4.3/shfmt_v3.4.3_linux_amd64 - WASI_SDK_URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-14/wasi-sdk_14.0_amd64.deb + WASI_SDK_URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-12/wasi-sdk_12.0_amd64.deb elif [[ $ARCH = "aarch64" ]]; then SHFMT_URL=https://github.com/patrickvane/shfmt/releases/download/master/shfmt_linux_arm echo "ARM64 support is still a work in progress!" @@ -64,7 +64,7 @@ wget $SHFMT_URL -O shfmt && chmod +x shfmt && sudo mv shfmt /usr/local/bin/shfmt sudo ./install_llvm.sh $LLVM_VERSION -curl -sS -L -O $WASI_SDK_URL && sudo dpkg -i wasi-sdk_14.0_amd64.deb && rm -f wasi-sdk_14.0_amd64.deb +curl -sS -L -O $WASI_SDK_URL && sudo dpkg -i wasi-sdk_12.0_amd64.deb && rm -f wasi-sdk_12.0_amd64.deb if [ -z "${WASI_SDK_PATH}" ]; then export WASI_SDK_PATH=/opt/wasi-sdk