Andrew Brown

How about this? Much like [Emscripten does](https://github.com/emscripten-core/emscripten/blob/42fd234a8076c5a1b1b30ca5c66e0b9f2221d29f/system/lib/update_musl.py#L90), we generate a `version.h` file containing `#define WASI_LIBC_VERSION ""`. I'm just not really sure what version you are seeing when you say "wasi-libc...

@grynspan, thanks for the clarification. One more question: we added a `VERSION` file to `wasi-sdk` a while ago ([PR](https://github.com/WebAssembly/wasi-sdk/pull/392#issuecomment-1984724834)) and it probably has all the information you need. Is that...

@sbc100, the `wasip1`/`wasip2` string seems valuable-ish but I think they're asking for more: i.e., to reproduce a bug they're going to need all of that toolchain information. What do we...

Yeah, I agree with your reticence to add the special function stuff. @grynspan, if we give you a version.h to include that has all the relevant things you need, will...

You mean in WASI?

Let's see what everyone thinks of: https://github.com/WebAssembly/wasi-sdk/pull/487.

@djabi: is this still an issue? I was going to recommend moving this issue over to https://github.com/WebAssembly/wasi-libc in order to include a stubbed-out version of `setjmp.h` but perhaps like @sbc100...

@paulcdejean, I don't think what you're observing is the same thing. It looks like you are trying to compile Wasmtime ([`src/helpers.c`](https://github.com/bytecodealliance/wasmtime/blob/main/crates/runtime/src/helpers.c)) targeting `wasm32-wasi` but that is not going to work:...

I'm not sure I have a strong opinion here but others might (cc: @sunfishcode, @pchickey). My bias would be towards simplicity, though. @SteveSandersonMS, the opinion I _do_ have is that...

Yeah, I'd be interested in seeing what happens if we apply that...