#!/bin/sh
# StarExec build entry point.  Compiles bin/FindProof.
set -e
make bin/FindProof
