#!/bin/bash

set -e

ledger_proof() {
    SRC="$1"
    DEST="$2"
    LOGDIR="$3"

    cd "$SRC"
    VERSION=$(git describe --all --long)

    if [[ -f $DEST/last-proofed && $(< $DEST/last-proofed) = $VERSION ]]; then
        echo "No need to run tools/proof again"
        exit 0
    fi

    sudo rm -fr $DEST/ledger-proof
    date > $LOGDIR/ledger-proof.log

    time nice -n 20 \
        ./acprep --debug --enable-doxygen --universal --clang -j16 proof 2>&1 | \
        tee -a $LOGDIR/ledger-proof.log

    sudo rm -fr $DEST/ledger-proof
    time nice -n 20 \
        ./acprep --debug --enable-doxygen --universal --python --clang -j16 proof 2>&1 | \
        tee -a $LOGDIR/ledger-proof.log

    if egrep -q '(ERROR|CRITICAL)' $LOGDIR/ledger-proof.log; then
        mutt -a $LOGDIR/ledger-proof.log \
             -s '[ledger] Proof build FAILED' johnw@newartisans.com <<EOF
Ledger proof build FAILED, at commit $VERSION.
EOF
        if [[ "$1" = "--alert" ]]; then
            notify "Ledger proof build FAILED"
        else
            echo "Ledger proof build FAILED"
            exit 1
        fi
    else
        echo $VERSION > $DEST/last-proofed

        cd $DEST/ledger-proof/debug; make docs
        cd $DEST/ledger-proof/gcov;  make report

        mutt -s '[ledger] Proof build succeeded' johnw@newartisans.com <<EOF
Ledger proof build succeeded! at commit $VERSION.
EOF
        echo "Ledger proof build succeeded"
    fi
}

ledger_proof ${1:-$HOME/src/ledger} ${2:-$HOME/Products} ${3:-$HOME/Library/Logs}

exit 0