Lines Matching refs:wasi
311 with-wasi-sdk:=/opt/wasi-sdk
312 => {Top-most dir of the wasi-sdk for a WASI build}
628 # build this must come before [sqlite-handle-wasi-sdk].
630 cc-check-tools ld ar ; # must come before [sqlite-handle-wasi-sdk]
642 # [sqlite-handle-wasi-sdk], as that function may change the
1816 # Handle --with-wasi-sdk[=DIR]
1821 proc sqlite-handle-wasi-sdk {} {
1822 set wasiSdkDir [opt-val with-wasi-sdk] ; # ??? [lindex [opt-val with-wasi-sdk] end]
1827 proj-fatal "Cannot combine --with-wasi-sdk with cross-compilation"
1829 msg-result "Checking WASI SDK directory \[$wasiSdkDir]... "
1835 msg-result "Using wasi-sdk clang. Disabling CLI shell and modifying config flags:"
1877 # host_alias=wasm32-wasi
1878 # target=wasm32-wasi
1880 # Merely changing CC, LD, and AR to the wasi-sdk's is enough to get
1888 }; # sqlite-handle-wasi-sdk
2138 # [cc-...] tests below. Recall that --with-wasi-sdk may have