tools/proof


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55

#!/bin/sh

set -e

function build_and_test() {
    if [ ! $1 = std ]; then
	NAME=--$1

	echo %%% Configuring $NAME %%%
	if ! tools/myacprep $NAME; then
	    echo %%% FAILED to configure $NAME %%%
	    exit 1
	fi

	DIR=$HOME/Products/ledger-$1
    else
	NAME="$1"
	DIR=$HOME/Products/ledger-$1

	echo %%% Configuring $NAME %%%
	if ! tools/myacprep --output $DIR; then
	    echo %%% FAILED to configure $NAME %%%
	    exit 1
	fi
    fi

    echo %%% Cleaning $NAME %%%
    if ! (cd $DIR && make clean); then
	echo %%% FAILED to clean $NAME %%%
	exit 1
    fi

    echo %%% Building $NAME %%%
    if ! (cd $DIR && make); then
	echo %%% FAILED to build $NAME %%%
	exit 1
    fi

    echo %%% Testing $NAME %%%
    if ! (cd $DIR && make fullcheck); then
	echo %%% FAILED to test $NAME %%%
	exit 1
    fi
}

build_and_test opt
build_and_test gprof
build_and_test gcov
build_and_test std

echo %%% Building release-distcheck %%%
if ! (cd ~/Products/ledger-std && make release-distcheck); then
    echo %%% FAILED to build release-distcheck %%%
    exit 1
fi