#!/bin/sh

# 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

PROG=burro

DENABLE_CLAUDE_PROOF=-DENABLE_CLAUDE_PROOF

for i in "$@"; do
    case $i in
        --disable-claude-proof)
        DENABLE_CLAUDE_PROOF=""
    esac
done

if command -v ghc >/dev/null 2>&1; then
    echo "building $PROG.exe with ghc"
    (cd src && ghc ${DENABLE_CLAUDE_PROOF} --make Main.hs -o ../bin/$PROG.exe)
else
    echo "ghc not found, not building $PROG.exe"
fi

if command -v hastec >/dev/null 2>&1; then
    echo "building $PROG.js with hastec"
    (cd src && hastec --make HasteMain.hs -o $PROG.js && mv $PROG.js ../demo/$PROG.js)
else
    echo "hastec not found, not building $PROG.js"
fi