From e0473e207b299858ef9550ed71be125a9db994ac Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Mon, 9 Mar 2009 03:30:23 -0400 Subject: Rewrote acprep in Python and improved the build --- tools/proof | 69 ------------------------------------------------------------- 1 file changed, 69 deletions(-) delete mode 100755 tools/proof (limited to 'tools/proof') diff --git a/tools/proof b/tools/proof deleted file mode 100755 index 9cd1dc3f..00000000 --- a/tools/proof +++ /dev/null @@ -1,69 +0,0 @@ -#!/bin/sh - -set -e - -OUTPUT=$(tools/outdir) -PRODUCTS=$(dirname "$OUTPUT") - -# We know which target pathnames are used here, because they are encoded in -# tools/myacprep when specific build targets are requested (such as gcov). - -function build_and_test() { - NAME=--$1 - - echo %%% Configuring $NAME %%% - if ! tools/myacprep $NAME; then - echo %%% FAILED to configure $NAME %%% - exit 1 - fi - - DIR=$PRODUCTS/ledger-$1 - - 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 -} - -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 - -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-std && make release-distcheck); then - echo %%% FAILED to build release-distcheck %%% - exit 1 -fi -- cgit v1.2.3