#!/bin/sh
# DF-4611 build
set -e
cd "$(dirname "$0")"
cc -O -Wall -o /tmp/buftop_prover /tmp/buftop_prover.c