#!/bin/sh
# DF-0710 build: the code-level logic harness (the live PoC is also built to
# document live unreachability).
set -e
cd "$(dirname "$0")"

echo "[1/2] building logic harness (the deterministic reproduction)..."
cc -O2 -o sco_input_logic sco_input_logic.c
echo "    -> sco_input_logic built"

echo "[2/2] building the original live PoC (expected to FAIL at runtime on this guest: no BT)..."
cc -o sco_input_hang sco_input_hang.c
echo "    -> sco_input_hang built"

echo "BUILD OK. Run via ./run.sh"