Huang Qi
3040c59ae9
Replace all wget with curl
...
wget is missing from some system (like macOS and Windows native),
it's better to use curl to simplify build environment.
Signed-off-by: Huang Qi <huangqi3@xiaomi.com>
2020-12-21 22:45:46 -06:00
Huang Qi
ea5a9a08bc
interpreters/wamr: Support latest snapshot for main branch
...
Signed-off-by: Huang Qi <huangqi3@xiaomi.com>
2020-12-21 05:47:12 -06:00
YAMAMOTO Takashi
46650ffc29
interpreters/wamr: This requires CLOCK_MONOTONIC to build
2020-10-13 08:09:36 +02:00
Huang Qi
1efc805b4e
interpreters/wamr: Bump to latest release.
...
Signed-off-by: Huang Qi <huangqi3@xiaomi.com>
2020-09-29 08:45:31 +01:00
Huang Qi
c26d662951
interpreters/wamr: Add configs for heap pool & custom name sections
...
Signed-off-by: Huang Qi <huangqi3@xiaomi.com>
2020-09-27 19:42:08 +01:00
Huang Qi
69956020b4
interpreters/wamr: Add missing options
...
Signed-off-by: Huang Qi <huangqi3@xiaomi.com>
Change-Id: Id1783f42842288a8f9c6ddf6105b6718dde757a1
2020-09-17 18:28:17 +01:00
Huang Qi
0b4fa2f66a
interpreters: Inroduce support for WAMR
...
Signed-off-by: Huang Qi <huangqi3@xiaomi.com>
2020-09-16 20:53:31 +01:00
