#!/bin/sh
# DF-0243 build: compile the trigger and the arithmetic proof.
set -e
cd "$(dirname "$0")"

echo "=== building trigger ==="
cc -O2 -Wall -o trigger trigger.c
echo "trigger: $(ls -l trigger | awk '{print $5}') bytes"

echo "=== building math_proof ==="
cc -O2 -Wall -o math_proof math_proof.c
echo "math_proof: $(ls -l math_proof | awk '{print $5}') bytes"

echo "=== setup: create the #!/bin/sh script ==="
sh setup.sh
echo "BUILD_OK"