build-wamr.sh

yamt · May 31, 2023 · 5eda7d9 · 5eda7d9
1 parent 086b75a
commit 5eda7d9
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/benchmark/build-wamr.sh b/benchmark/build-wamr.sh
@@ -0,0 +1,19 @@
+#! /bin/sh
+
+set -e
+
+build() {
+    NAME=$1
+    shift
+    BUILD=b.${NAME}
+    cmake -B ${BUILD} $@
+    cmake --build ${BUILD}
+    cp ${BUILD}/iwasm ~/bin/iwasm.${NAME}
+}
+
+COMMON="-DWAMR_BUILD_BULK_MEMORY=1"
+# COMMON="${COMMON} -DWAMR_BUILD_SHARED_MEMORY=1"
+build classic ${COMMON} -DWAMR_BUILD_FAST_INTERP=0 .
+build fast ${COMMON} -DWAMR_BUILD_FAST_INTERP=1 .
+build fast-jit ${COMMON} -DWAMR_BUILD_FAST_JIT=1 -DWAMR_BUILD_LAZY_JIT=1 .
+build fast-jit-nolazy ${COMMON} -DWAMR_BUILD_FAST_JIT=1 -DWAMR_BUILD_LAZY_JIT=0 .