#!/bin/sh
# DF-0893 build script. Compiles the deterministic race harness + live trigger.
set -e
cd "$(dirname "$0")"

echo "=== building race_harness (deterministic race transcription) ==="
cc -O2 -pthread -Wall -o race_harness race_harness.c
echo "race_harness: OK"

if [ -f hammer_race_live.c ]; then
	echo "=== building hammer_race_live (live HAMMER v1 trigger) ==="
	cc -O2 -pthread -Wall -o hammer_race_live hammer_race_live.c
	echo "hammer_race_live: OK"
fi

echo "BUILD_OK"