| # Generate Rust code from template | |
| set -euo pipefail | |
| SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" | |
| SEB_ROOT="$(cd "$SCRIPT_DIR/../.." && pwd)" | |
| TEMPLATE="$SEB_ROOT/contracts/rust.template" | |
| OUTPUT_DIR="$SEB_ROOT/kernel" | |
| echo "[Rust] Copying template to kernel directory..." | |
| cp "$TEMPLATE" "$OUTPUT_DIR/event_envelope.rs" | |
| echo "[Rust] Generated: $OUTPUT_DIR/event_envelope.rs" | |
| # Made with Bob | |