#!/bin/sh
# DF-0888 build script.
# Builds the kernel trigger (run on guest) and the deterministic arithmetic
# harness (run on guest; host has no cc). Image is crafted on the HOST
# (needs mke2fs + debugfs + python3) separately -- see craft_img.py.
#
# Usage: ./build.sh        # builds trigger + harness as the unprivileged user
set -e
cd "$(dirname "$0")"

# trigger + harness compile on the DragonFly guest (cc 8.3).
cc -O2 -Wall -o trigger trigger.c
cc -O2 -Wall -o harness  harness.c

echo "BUILD_OK"
ls -l trigger harness