20 lines
471 B
Bash
20 lines
471 B
Bash
#!/bin/bash
|
|
# Build the W3 workspace-runtime CLI driver. Run on k-uce.
|
|
set -euo pipefail
|
|
cd "$(dirname "$0")/../.."
|
|
|
|
OUT=${UCE_WASM_OUT:-/tmp/uce/wasm-w3}
|
|
WASMTIME_HOME=${WASMTIME_HOME:-/opt/wasmtime}
|
|
mkdir -p "$OUT"
|
|
|
|
g++ -std=c++20 -O1 -g -w \
|
|
-Isrc/lib -Isrc/wasm \
|
|
-I"$WASMTIME_HOME/include" \
|
|
src/wasm/w3_driver.cpp \
|
|
-L"$WASMTIME_HOME/lib" \
|
|
-Wl,-rpath,"$WASMTIME_HOME/lib" \
|
|
-lwasmtime -lpcre2-8 -lpthread -ldl \
|
|
-o "$OUT/w3_driver"
|
|
|
|
ls -lh "$OUT/w3_driver"
|