Improve WASI GMP building information

MLton · Feb 15, 2024 · 62c1ffb · 62c1ffb
1 parent 31b80af
commit 62c1ffb
Showing 1 changed file with 5 additions and 2 deletions.
diff --git 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 <<GMP#>> library is required. It must be compiled for WASI. An
-   example configuration command is below (substitute your own wasi-sdk paths):
+** The <<GMP#>> 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