Skip to content

Commit 2edad71

Browse files
committed
Simplify AOT feature handling
Signed-off-by: James Sturtevant <jsturtevant@gmail.com>
1 parent b93487f commit 2edad71

1 file changed

Lines changed: 11 additions & 19 deletions

File tree

src/hyperlight_wasm/scripts/build-wasm-examples.sh

Lines changed: 11 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -24,36 +24,28 @@ fi
2424

2525
AOT_COMPILE_FLAGS=()
2626
AOT_FEATURES=()
27-
for FEATURE in ${FEATURES//,/ }; do
27+
RUNTIME_ONLY_FEATURES=",function_call_metrics,print_debug,crashdump,kvm,mshv3,trace_guest,wasmtime_lts,"
28+
for RAW_FEATURE in ${FEATURES//,/ }; do
29+
FEATURE="${RAW_FEATURE##*/}"
2830
case "$FEATURE" in
2931
"")
3032
;;
31-
gdb|hyperlight-wasm/gdb|hyperlight-wasm-aot/gdb)
33+
gdb)
3234
AOT_COMPILE_FLAGS+=(--debug)
3335
AOT_FEATURES+=(gdb)
3436
;;
35-
pulley|hyperlight-wasm/pulley)
37+
pulley)
3638
AOT_COMPILE_FLAGS+=(--pulley)
3739
;;
38-
wasmtime_latest|hyperlight-wasm/wasmtime_latest)
40+
wasmtime_latest)
3941
AOT_COMPILE_FLAGS+=(--wasmtime-version latest)
4042
;;
41-
wasmtime_lts|hyperlight-wasm/wasmtime_lts)
42-
;;
43-
function_call_metrics|hyperlight-wasm/function_call_metrics|\
44-
print_debug|hyperlight-wasm/print_debug|\
45-
crashdump|hyperlight-wasm/crashdump|\
46-
kvm|hyperlight-wasm/kvm|\
47-
mshv3|hyperlight-wasm/mshv3|\
48-
trace_guest|hyperlight-wasm/trace_guest)
49-
;;
50-
hyperlight-wasm-aot/*)
51-
AOT_FEATURES+=("${FEATURE#hyperlight-wasm-aot/}")
52-
;;
53-
hyperlight-wasm/*)
54-
;;
5543
*)
56-
AOT_FEATURES+=("$FEATURE")
44+
if [[ "$RAW_FEATURE" == hyperlight-wasm-aot/* ]]; then
45+
AOT_FEATURES+=("$FEATURE")
46+
elif [[ "$RAW_FEATURE" != */* && "$RUNTIME_ONLY_FEATURES" != *",$FEATURE,"* ]]; then
47+
AOT_FEATURES+=("$FEATURE")
48+
fi
5749
;;
5850
esac
5951
done

0 commit comments

Comments
 (0)