Sam Clegg

I would just inject them unconditionally.

If you just want to use the SDK then I suggest you down the prebuilt binaries from https://github.com/WebAssembly/wasi-sdk/releases rather than trying to build it yourself from source.

The clang that cmake is using is still the one you built yourself (`/home/neonu/wasi-sdk/build/install/share/cmake/../..//bin/clang++`). Perhaps make is caching that? Try removing your build directory, or if you are doing an...

The `-D` flag would go in compile flags (CFLAGS) and the `-l` flag would go in your linker flags (LDFLAGS).

`cmake ... -DCMAKE_C_FLAGS=-D_WASI_EMULATED_PROCESS_CLOCKS`.

> Thanks very much for looking into this! This would solve our problem very neatly! > > To be clear, would I want to include `` or would it be...

Yes, perhaps simply including the header should probably not be and error? But using / referencing missing symbols probably should continue to be a compiler/link failure. Is the C++ module...

Doesn't re-exporting a symbol `foo` require that the symbol `foo` is actually defined? What about platforms that don't provide `foo`?

> Anyway, to sum up, my feeling is that there's nothing really special about the std library module case. I think it's basically the exact same issue that could occur...

Ah, the `libcxx/include/__cxx03/csetjmp` file does seem to be doing the right things and checking for `__has_include()` first: https://github.com/llvm/llvm-project/blob/a4e4527c4b44be9a88168c0a4758de58fd1a770d/libcxx/include/__cxx03/csetjmp#L35-L41 So perhaps we just need to remove the unconditional `#error` when the...