set_env_vars

#export ZAFL_TRACE_MAP_FIXED_ADDRESS=0x10000

export ZAFL_HOME=$PWD
if [ -z "$ZAFL_INSTALL" -o -f manifest.txt ]; then
	if [ -z "$ZAFL_INSTALL" ]; then
		export ZAFL_INSTALL=$PWD/install
	fi
	export PS_INSTALL=$ZAFL_INSTALL/zipr_umbrella
fi

cd $ZAFL_HOME/zipr_umbrella
source ./set_env_vars

unset DAFFY_HOME
export DAFFY_HOME

cd $ZAFL_HOME/zfuzz
source ./set_env_vars

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$ZAFL_HOME/zest_runtime/lib

cd $ZAFL_HOME