diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-03-08 00:56:55 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-03-08 02:07:49 -0400 |
| commit | 6f95dfa6bec4f468dc5345976309fb965a650524 (patch) | |
| tree | 65ad179138cc56a9e45fe25e0c4093ba43dc5222 /tools/proof | |
| parent | 2db263909b31cc7ad948d4890d6a9071c07cada2 (diff) | |
| download | fork-ledger-6f95dfa6bec4f468dc5345976309fb965a650524.tar.gz fork-ledger-6f95dfa6bec4f468dc5345976309fb965a650524.tar.bz2 fork-ledger-6f95dfa6bec4f468dc5345976309fb965a650524.zip | |
Modified the behavior of tools/proof
It now uses a copy of the source tree, so that I can keep working while
proof is running. It takes a while.
Diffstat (limited to 'tools/proof')
| -rwxr-xr-x | tools/proof | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/tools/proof b/tools/proof index c0798575..aaf8a6b6 100755 --- a/tools/proof +++ b/tools/proof @@ -3,27 +3,16 @@ set -e function build_and_test() { - if [ ! $1 = std ]; then - NAME=--$1 + 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 - - echo %%% Configuring $NAME %%% - if ! tools/myacprep; then - echo %%% FAILED to configure $NAME %%% - exit 1 - fi + echo %%% Configuring $NAME %%% + if ! tools/myacprep $NAME; then + echo %%% FAILED to configure $NAME %%% + exit 1 fi + DIR=$HOME/Products/ledger-$1 + echo %%% Cleaning $NAME %%% if ! (cd $DIR && make clean); then echo %%% FAILED to clean $NAME %%% @@ -36,7 +25,7 @@ function build_and_test() { exit 1 fi - if [ "$NAME" = "gcov" ]; then + if [ "$NAME" = "--gcov" ]; then echo %%% Testing $NAME %%% if ! (cd $DIR && make check); then echo %%% FAILED to test $NAME %%% @@ -51,17 +40,28 @@ function build_and_test() { fi } +echo %%% Copying src %%% +rsync -a --delete ~/Projects/ledger/ ~/Products/ledger-src/ +cd ~/Products/ledger-src + +echo %%% Removing old opt %%% rm -fr ~/Products/ledger-opt build_and_test opt +echo %%% Removing old gcov %%% rm -fr ~/Products/ledger-gcov build_and_test gcov -rm -fr ~/Products/ledger +echo %%% Removing old std %%% +rm -fr ~/Products/ledger-std build_and_test std +echo %%% Removing old debug %%% +rm -fr ~/Products/ledger-debug +build_and_test debug + echo %%% Building release-distcheck %%% -if ! (cd ~/Products/ledger && make release-distcheck); then +if ! (cd ~/Products/ledger-std && make release-distcheck); then echo %%% FAILED to build release-distcheck %%% exit 1 fi |