
# Make all files rw by everyone
# umask 000

OS_TYPE=`uname -s`
OS_VERSION=`uname -r`

# Version of Wild-LIFE to use:
#set WLIFE = "../Source/wild_life"
#WLIFE="${LIFEHOME}/bin/wild_life.${OS_TYPE}_${OS_VERSION} 0 -memory800000"
WLIFE="${LIFEHOME}/bin/wild_life.${OS_TYPE}_${OS_VERSION} 0 "

load_file=$1
map_file=$2
Ext=$3
f_count=$4

# Remove any core dumps
   rm -f core 
   
# Run Wild-LIFE
   (echo 'load("Test/' ${load_file}.lf '")?' | tr -d ' ' ;echo "" ; \
	echo 'set_file_count(' $f_count ')?' | tr -d ' ' ;echo "" ; \
   cat Test/${load_file}.$Ext  ; echo "halt?") | \
   ($WLIFE 1>> OUT/${map_file}.stdout 2>> OUT/${map_file}.stderr)

# Check for core dump
   if [ -e core ]; then
	echo "          ***    C O R E   D U M P  ! !       ***"
   fi

