#!/bin/bash # check if DIR is the directory containing the build script. BUILD_LOC=`dirname $0` FULL_BUILD_LOC=`cd $BUILD_LOC; pwd` echo $PEASOUP_UMBRELLA_DIR if [ "$PEASOUP_UMBRELLA_DIR" != "$FULL_BUILD_LOC" ]; then echo "PEASOUP_UMBRELLA_DIR differs from build-all.sh location ($FULL_BUILD_LOC)."; echo "Did you source set_env_vars from the root of the umbrella working copy?"; exit 1; fi # stratafier cd $PEASOUP_UMBRELLA_DIR/stratafier make clean # strata if [ ! "$STRATA_HOME" ]; then echo "STRATA_HOME not set."; exit 1; fi cd $STRATA_HOME ./configure make clean cd $PEASOUP_UMBRELLA_DIR/ rm -Rf strata32 # smp-static-analyzer if [ ! "$SMPSA_HOME" ]; then echo "SMPSA_HOME not set."; exit 1; fi cd $SMPSA_HOME ./configure scons -c # security-transforms if [ ! "$SECURITY_TRANSFORMS_HOME" ]; then echo "SECURITY_TRANSFORMS_HOME not set."; exit 1; fi cd $SECURITY_TRANSFORMS_HOME scons -c cd $ZIPR_HOME scons -c