diff --git a/script/install-wild b/script/install-wild index 7e35452db7f627378e8d4ab660187eb8fcdbeca2..5ce3de36036b82926b297c70da120c67967db5ac 100755 --- a/script/install-wild +++ b/script/install-wild @@ -20,10 +20,10 @@ if [ "$(whoami)" = root ]; then SUDO=; else SUDO="$(command -v sudo || command - ARCH="$(uname -m)" WILD_REPO="${WILD_REPO:-https://github.com/davidlattimore/wild}" -WILD_PACKAGE="wild-linker-${ARCH}-unknown-linux-gnu" +WILD_PACKAGE="wild-linker-${WILD_VERSION}-${ARCH}-unknown-linux-gnu" WILD_URL="${WILD_URL:-$WILD_REPO}/releases/download/$WILD_VERSION/${WILD_PACKAGE}.tar.gz" echo "Downloading from $WILD_URL" curl -fsSL --output - "$WILD_URL" \ - | $SUDO tar -C /usr/local/bin --strip-components=1 --no-overwrite-dir -xJf - \ - "wild-linker-${ARCH}-unknown-linux-gnu/wild" + | $SUDO tar -C /usr/local/bin --strip-components=1 --no-overwrite-dir -xzf - \ + "${WILD_PACKAGE}/wild"