From 62c1ffb008c65409f82349913a81e3ac66fcb040 Mon Sep 17 00:00:00 2001 From: Adam Goode Date: Tue, 13 Feb 2024 11:00:13 -0500 Subject: [PATCH] Improve WASI GMP building information --- doc/guide/src/RunningOnWASI.adoc | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/doc/guide/src/RunningOnWASI.adoc b/doc/guide/src/RunningOnWASI.adoc index c96bcc12d..79b528e42 100644 --- a/doc/guide/src/RunningOnWASI.adoc +++ b/doc/guide/src/RunningOnWASI.adoc @@ -16,12 +16,15 @@ command line (using something like https://wasmtime.dev[Wasmtime]). in https://github.com/WebAssembly/wasi-sdk[wasi-sdk]. Follow the directions to download and unpack a copy. -** The <> library is required. It must be compiled for WASI. An - example configuration command is below (substitute your own wasi-sdk paths): +** The <> library is required. It must be compiled for + WASI. Download it from https://gmplib.org, build it and install it + to a local prefix. An example configuration command is below + (substitute your own wasi-sdk paths): + [,shell] ---- ./configure --host=wasm32-unknown-wasi \ + --prefix=$HOME/gmp-wasi-INSTALL \ CC=$HOME/wasi-sdk-21.0/bin/clang \ RANLIB=$HOME/wasi-sdk-21.0/bin/ranlib \ CFLAGS=-D_WASI_EMULATED_SIGNAL LDFLAGS=-lwasi-emulated-signal