summaryrefslogtreecommitdiff
path: root/tools/proof
blob: 3cf7f64ce38fbf64377565da217e4cb837b2228b (plain)
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
56
57
58
59
60
61
62
63
#!/bin/sh

set -e

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

echo %%% Building --opt %%%
if ! (cd ~/Products/ledger-opt && make clean fullcheck); then
    echo %%% FAILED to build --opt %%%
    exit 1
fi

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

echo %%% Building --gprof %%%
if ! (cd ~/Products/ledger-gprof && make clean fullcheck); then
    echo %%% FAILED to build --gprof %%%
    exit 1
fi

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

echo %%% Building --gcov %%%
if ! (cd ~/Products/ledger-gcov && make clean fullcheck); then
    echo %%% FAILED to build --gcov %%%
    exit 1
fi

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

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

echo %%% Building default %%%
if ! (cd ~/Products/ledger && make clean fullcheck); then
    echo %%% FAILED to build default %%%
    exit 1
fi

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