#!/bin/sh -e
# SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
# For more information, please refer to <https://unlicense.org/>
# SPDX-License-Identifier: Unlicense
CFLAGS=""
if [ "x$1" = "x-D" ]; then
CFLAGS="-DDEBUG"
shift
fi
CFLAGS=${CFLAGS} ./build.sh
PROOF=$1
CC="gcc -ansi -pedantic"
${CC} -Iinclude $PROOF.c src/*.o -o $PROOF.exe