Some wamr-ide improvements (#1354)

including: - enable macOS support - documentation improvements - fix some warnings
2022-08-08 18:52:47 +09:00
parent 425efb875f
commit e8f0c9580b
21 changed files with 288 additions and 80 deletions
--- a/test-tools/wamr-ide/WASM-Toolchain/Docker/build_docker_image.bat
+++ b/test-tools/wamr-ide/WASM-Toolchain/Docker/build_docker_image.bat
@ -3,9 +3,6 @@

@echo off

-@REM pull gcc and ubuntu image firstly no matter whether exist or not.
-docker pull gcc:9.3.0
-docker pull ubuntu:20.04
 docker build -t wasm-toolchain:1.0 .

@REM delete intermediate docker image