-
Jason Hiser authored
Former-commit-id: 970ef629
Jason Hiser authoredFormer-commit-id: 970ef629
clean-all.sh 2.14 KiB
#!/bin/bash
scons -c
exit
# 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
if [ "$(ls -A "$PEDI_HOME" 2> /dev/null)" == "" ]; then
echo "pedi submodule is empty. Did you clone using --recursive?";
exit 1;
fi
use_strata=0
if [[ $use_strata = 1 ]] ; then
# stratafier
cd $PEASOUP_UMBRELLA_DIR/stratafier
make clean
# clean main strata
cd $STRATA_HOME
./configure
make clean
rm Makefile
# clean strata32 if exists.
cd $PEASOUP_UMBRELLA_DIR/
rm -Rf strata32
fi
cd $SMPSA_HOME
scons -c || exit
cd $SECURITY_TRANSFORMS_HOME
scons -c || exit
cd $IRDB_TRANSFORMS
scons -c || exit
if [ -d $ZIPR_SCFI_PLUGIN ]; then
cd $ZIPR_SCFI_PLUGIN
scons -c || exit
fi
if [[ -d $ZIPR_CALLBACKS ]] && [[ -e $ZIPR_CALLBACKS/Makefile ]] ; then
cd $ZIPR_CALLBACKS
make clean
fi
if [[ -d "$PEASOUP_UMBRELLA_DIR/zipr_large_only_plugin/" ]]; then
cd $PEASOUP_UMBRELLA_DIR/zipr_large_only_plugin/
scons -c || exit
fi
if [[ -e $PEASOUP_UMBRELLA_DIR/zipr_relax_plugin ]]; then
cd $PEASOUP_UMBRELLA_DIR/zipr_relax_plugin/
scons -c || exit
fi
if [[ -e $PEASOUP_UMBRELLA_DIR/zipr_trace_plugin ]]; then
cd $PEASOUP_UMBRELLA_DIR/zipr_trace_plugin/
scons -c || exit
fi
cd $PEASOUP_UMBRELLA_DIR/zipr_push64_reloc_plugin
scons -c || exit
cd $PEASOUP_UMBRELLA_DIR/zipr_unpin_plugin
scons -c || exit
if [ -d "$ZIPR_HOME" ]; then
cd $ZIPR_HOME
scons -c || exit
fi
if [ -d "$DAFFY_HOME" ]; then
cd $DAFFY_HOME
./clean_cfar.sh
fi
cd $PEASOUP_UMBRELLA_DIR
# clean up installation if this module is the root of the install.
# skip pedi cleanup if we are part of a larger project, as future builds
# won't know how to install properly.
if [[ $(head -1 manifest.txt.config) == $(pwd) ]] ; then
$PEDI_HOME/pedi -c -m manifest.txt
if [ -d "$PS_INSTALL" ]; then
echo "removing $PS_INSTALL"
rm -fr "$PS_INSTALL"
fi
fi