#!/bin/bash

set -e

cd ~/src/ledger

VERSION=$(git describe --all --long)

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

rm -fr ~/Products/ledger-proof

time ./acprep --enable-doxygen --universal -j16 --warn proof 2>&1 | \
    tee ~/Desktop/proof.log

if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
    if [[ "$1" = "--alert" ]]; then
        notify "Ledger proof build FAILED"
    else
        echo "Ledger proof build FAILED"
        exit 1
    fi
else
    echo $VERSION > ~/Products/last-proofed
    mv ~/Desktop/proof.log /tmp

    cd ~/Products/ledger-proof/debug; make docs
    cd ~/Products/ledger-proof/gcov;  make report

    echo "Ledger proof build succeeded"
fi

exit 0