#!/bin/sh
# DF-0281 code-level proof build.
# Builds the userspace arithmetic-replication harness (NOT a kernel module).
set -e
cd "$(dirname "$0")"
echo "+ cc -O2 -Wall -o divzero_proof divzero_proof.c"
cc -O2 -Wall -o divzero_proof divzero_proof.c
echo "BUILD_EXIT=$?"
ls -l divzero_proof

echo
echo "+ cc -O2 -Wall -DFIX_MTU -o divzero_proof_fixed divzero_proof.c  (guarded variant)"
cc -O2 -Wall -DFIX_MTU -o divzero_proof_fixed divzero_proof.c
echo "BUILD_EXIT_FIXED=$?"
ls -l divzero_proof_fixed