4 Commits (a9bd8ee7b39bbb56f454105d06446cdd8ab1f28c)

Author	SHA1	Message	Date
Dan Gohman	49cf0e78ad	Rename sysroot to wasi-sysroot. ... This renames /opt/wasi/share/sysroot to /opt/wasi/share/wasi-sysroot. If the user selects an alternate prefix, this allows wasi-sysroot to coexist with other packages with less risk of namespace collision. For example, if the user uses a prefix of /usr/local, this avoids using /usr/local/share/sysroot, which is fairly generic, and uses /usr/local/share/wasi-sysroot, which more clearly indicates its purpose.	6 years ago
Dan Gohman	38cc8a607c	Say "wasm32-wasi" instead of "wasm32-unknown-wasi" in wasi-sdk.	6 years ago
Dan Gohman	e98e5b3e9c	Spell "WASI SDK" consistently.	6 years ago
Pat Hickey	cea537aef1	produce deb and tars ... this should hopefully work on the mac, ill have to get someone to test it	6 years ago