gnh1201/wasm-micro-runtime
1
0
Fork 0
mirror of https://github.com/bytecodealliance/wasm-micro-runtime.git synced 2025-03-12 08:55:28 +00:00
Code Issues Actions 9 Packages Projects Releases Wiki Activity

ab

Browse Source
This commit is contained in:
Wang Xin 2020-02-21 19:45:55 +08:00
parent de47e72284
commit 87f725b5d5
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
wamr-sdk/build_sdk.sh
View File

@ -79,11 +79,6 @@ sysroot_dir=${curr_profile_dir}/app-sdk/libc-builtin-sysroot
echo "CMAKE_DEXTRA_SDK_INCLUDE_PATH=${CMAKE_DEXTRA_SDK_INCLUDE_PATH}" echo "CMAKE_DEXTRA_SDK_INCLUDE_PATH=${CMAKE_DEXTRA_SDK_INCLUDE_PATH}"
if [ -z "$PROFILE" ]; then
PROFILE="default"
echo "PROFILE argument not set, using DEFAULT"
fi
if [[ "$CLEAN" = "TRUE" ]]; then if [[ "$CLEAN" = "TRUE" ]]; then
rm -rf ${curr_profile_dir} rm -rf ${curr_profile_dir}
fi fi
@ -98,9 +93,16 @@ fi
# 4. Use the default config cmake file # 4. Use the default config cmake file
# #
if [[ -n "$wamr_config_cmake_file" ]]; then if [[ -n "$wamr_config_cmake_file" ]]; then
if [[ ! -f $wamr_config_cmake_file ]]; then
echo "user given file not exist: ${wamr_config_cmake_file}"
exit 1
fi
echo "User config file: [${wamr_config_cmake_file}]" echo "User config file: [${wamr_config_cmake_file}]"
else else
wamr_config_cmake_file=${curr_profile_dir}/wamr_config_menu.cmake wamr_config_cmake_file=${out_dir}/wamr_config_${PROFILE}.cmake
if [[ "$MENUCONFIG" = "TRUE" ]]; then if [[ "$MENUCONFIG" = "TRUE" ]]; then
echo "MENUCONFIG: [${wamr_config_cmake_file}]" echo "MENUCONFIG: [${wamr_config_cmake_file}]"
./menuconfig.sh -x ${wamr_config_cmake_file} ./menuconfig.sh -x ${wamr_config_cmake_file}