#!/bin/sh
# DF-0569 — build script.
# Compiles the arithmetic proof and the NAT trigger driver.
set -e
cd "$(dirname "$0")"
echo "[*] Building alias_port_oob_proof ..."
cc -O2 -o alias_port_oob_proof alias_port_oob_proof.c
echo "[*] Building nat_oob_trigger ..."
cc -O2 -o nat_oob_trigger nat_oob_trigger.c
echo "[*] Build complete."
ls -l alias_port_oob_proof nat_oob_trigger