#!/bin/sh
# DF-0803 build
set -e
cd "$(dirname "$0")"
./build.sh  (builds the deterministic arithmetic harness)