diff options
author | Paulo Matias | 2021-11-02 20:05:55 -0300 |
---|---|---|
committer | Paulo Matias | 2021-11-02 20:05:55 -0300 |
commit | 6e2e70ab07f7510888850511dc354b2bb4aaba98 (patch) | |
tree | 253e4e34531aaf5adee9b9e68147469ca071e294 | |
parent | aec43ae8bc394cd94b1d8add2a5a0e67d2530953 (diff) | |
download | aur-6e2e70ab07f7510888850511dc354b2bb4aaba98.tar.gz |
try to set WASI_{CC,CXX,LD}
-rw-r--r-- | PKGBUILD | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -86,6 +86,12 @@ export AR=llvm-ar export NM=llvm-nm export RANLIB=llvm-ranlib +# wasi sdk +ac_add_options --with-wasi-sysroot=/opt/wasi-sdk/share/wasi-sysroot +export WASI_CC=/opt/wasi-sdk/bin/clang +export WASI_CXX=/opt/wasi-sdk/bin/clang++ +export WASI_LD=/opt/wasi-sdk/bin/wasm-ld + # Branding ac_add_options --enable-official-branding ac_add_options --enable-update-channel=release @@ -109,7 +115,6 @@ ac_add_options --with-system-libevent ac_add_options --with-system-icu ac_add_options --with-system-zlib ac_add_options --with-system-jpeg -ac_add_options --with-wasi-sysroot=/opt/wasi-sdk/share/wasi-sysroot # Features ac_add_options --enable-pulseaudio |