diff --git a/README.md b/README.md index 14ec987..1fcf34d 100644 --- a/README.md +++ b/README.md @@ -26,7 +26,7 @@ sources mentioned above, and compile with A typical installation from the release binaries might look like the following: ```shell script -export WASI_VERSION=12 +export WASI_VERSION=13 export WASI_VERSION_FULL=${WASI_VERSION}.0 wget https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-${WASI_VERSION}/wasi-sdk-${WASI_VERSION_FULL}-linux.tar.gz tar xvf wasi-sdk-${WASI_VERSION_FULL}-linux.tar.gz diff --git a/version.sh b/version.sh index 49852ce..c2c203b 100755 --- a/version.sh +++ b/version.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash set -e GIT_DESCR=$(git describe --long --candidates=999 --match='wasi-sdk-*' --dirty='+m' --abbrev=13) -GIT_PACKAGE_VERSION=$(echo $GIT_DESCR | perl -ne 'if(/^wasi-sdk-(\d+)-(\d+)-g([0-9a-f]{7,12})([+]m)?$/) { if($2 == 0) { print "$1.$2$4" } else { print "$1.$2g$3$4" } exit } else { print "could not parse git description"; exit 1 }';) +GIT_PACKAGE_VERSION=$(echo $GIT_DESCR | perl -ne 'if(/^wasi-sdk-(\d+)-(\d+)-g([0-9a-f]{7,13})([+]m)?$/) { if($2 == 0) { print "$1.$2$4" } else { print "$1.$2g$3$4" } exit } else { print "could not parse git description"; exit 1 }';) echo $GIT_PACKAGE_VERSION