#!/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 echo %%% Configuring $NAME %%% if ! tools/myacprep; 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 if [ "$NAME" = "gcov" ]; then echo %%% Testing $NAME %%% if ! (cd $DIR && make check); then echo %%% FAILED to test $NAME %%% exit 1 fi else echo %%% Testing $NAME %%% if ! (cd $DIR && make fullcheck); then echo %%% FAILED to test $NAME %%% exit 1 fi fi } rm -fr ~/Products/ledger-opt build_and_test opt rm -fr ~/Products/ledger-gcov build_and_test gcov rm -fr ~/Products/ledger build_and_test std echo %%% Building release-distcheck %%% if ! (cd ~/Products/ledger && make release-distcheck); then echo %%% FAILED to build release-distcheck %%% exit 1 fi