mirror of
https://github.com/bytecodealliance/wasm-micro-runtime.git
synced 2025-05-08 20:56:13 +00:00
156318f0d4
wasi-sdk-20 supports older versions of glibc and allow us to use it in the CI with Ubuntu 20.04. Refer to https://github.com/WebAssembly/wasi-sdk/releases/tag/wasi-sdk-20 And #2021 for previous upgrade to wasi-sdk-20 pre-release.
25 lines
709 B
Bash
Executable File
25 lines
709 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# Copyright (C) 2023 Amazon.com Inc. or its affiliates. All rights reserved.
|
|
# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
set -eo pipefail
|
|
CC="${CC:=/opt/wasi-sdk/bin/clang}"
|
|
files=("tcp_udp.c" "nslookup.c")
|
|
|
|
for file in "${files[@]}"
|
|
do
|
|
echo $file
|
|
$CC \
|
|
--target=wasm32-wasi-threads \
|
|
-I../inc \
|
|
../src/wasi/wasi_socket_ext.c -pthread -ftls-model=local-exec \
|
|
-Wl,--allow-undefined \
|
|
-Wl,--strip-all,--no-entry \
|
|
-Wl,--export=__heap_base \
|
|
-Wl,--export=__data_end \
|
|
-Wl,--shared-memory,--max-memory=10485760 \
|
|
-Wl,--export=malloc \
|
|
-Wl,--export=free \
|
|
-o "${file%.*}.wasm" "$file"
|
|
done |