26 lines
678 B
Bash
Executable File
26 lines
678 B
Bash
Executable File
#!/bin/bash
|
|
# Build the W1 host smoke driver. Run on k-uce.
|
|
set -euo pipefail
|
|
cd "$(dirname "$0")/../.."
|
|
|
|
OUT=${UCE_WASM_OUT:-/tmp/uce/wasm-w1}
|
|
WASMTIME_HOME=${WASMTIME_HOME:-/opt/wasmtime}
|
|
WASMTIME_INCLUDE=${WASMTIME_INCLUDE:-$WASMTIME_HOME/include}
|
|
WASMTIME_LIB=${WASMTIME_LIB:-$WASMTIME_HOME/lib}
|
|
mkdir -p "$OUT"
|
|
|
|
if [ ! -d "$WASMTIME_INCLUDE" ] || [ ! -d "$WASMTIME_LIB" ]; then
|
|
echo "Wasmtime C API not found; set WASMTIME_HOME or WASMTIME_INCLUDE/WASMTIME_LIB" >&2
|
|
exit 1
|
|
fi
|
|
|
|
g++ -std=c++17 -O2 -Wall -Wextra \
|
|
-I"$WASMTIME_INCLUDE" \
|
|
src/wasm/w1_smoke.cpp \
|
|
-L"$WASMTIME_LIB" \
|
|
-Wl,-rpath,"$WASMTIME_LIB" \
|
|
-lwasmtime \
|
|
-o "$OUT/w1_smoke"
|
|
|
|
ls -lh "$OUT/w1_smoke"
|