Update wasmtime to v17.0.1, which includes the new CLI

kateinoigakukun · kateinoigakukun · commit bbd56928dbc6 · 2024-08-28T15:35:34.000Z
diff --git a/swift-ci/main/install-extra-packages.sh b/swift-ci/main/install-extra-packages.sh
@@ -2,7 +2,7 @@
 
 install_wasmtime() {
   export WASMTIME_HOME="${WASMTIME_HOME:-$PREFIX/wasmtime}"
-  curl https://wasmtime.dev/install.sh -sSf | bash /dev/stdin --version v10.0.1
+  curl https://wasmtime.dev/install.sh -sSf | bash /dev/stdin --version v17.0.1
   ln -sf "$WASMTIME_HOME/bin/wasmtime" "$PREFIX/bin/wasmtime"
 }
 

Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@`
`2`	`2`
`3`	`3`	`install_wasmtime() {`
`4`	`4`	`export WASMTIME_HOME="${WASMTIME_HOME:-$PREFIX/wasmtime}"`
`5`		`- curl https://wasmtime.dev/install.sh -sSf \| bash /dev/stdin --version v10.0.1`
	`5`	`+ curl https://wasmtime.dev/install.sh -sSf \| bash /dev/stdin --version v17.0.1`
`6`	`6`	`ln -sf "$WASMTIME_HOME/bin/wasmtime" "$PREFIX/bin/wasmtime"`
`7`	`7`	`}`
`8`	`8`