set_env_vars

export ZAFL_TRACE_MAP_FIXED_ADDRESS=0x10000
export AFL_SKIP_BIN_CHECK=1

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

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

cd $ZAFL_HOME

export PATH=$PATH:$ZAFL_HOME/bin
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$SECURITY_TRANSFORMS_HOME/lib


export PSPATH=$PSPATH:$ZAFL_HOME/plugins_install