#!/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

CC="gcc -ansi -pedantic"
for MODULE in assert formula assumptions theorem; do
    (cd src && ${CC} ${CFLAGS} -I../include -c $MODULE.c -o $MODULE.o)
done