#! /bin/sh
# Generated manually by D.Colnet 
sed=${SmallEiffel:=1}
if [ ${sed} = 1 ];  then 
   echo Please set the environment Variable \'SmallEiffel\' with
   echo the absolute path of file SmallEiffel/sys/system.se
   exit 1
fi
if [ -d ${SmallEiffel} ]; then 
   echo The value of the environment variable SmallEiffel 
   echo must be the absolute path of file 
   echo SmallEiffel/sys/system.se
   exit 1
fi
if [ ! -f ${SmallEiffel} ]; then
   echo File ${SmallEiffel} not found.
   echo Please check the value of the environment Variable
   echo \'SmallEiffel\' wich must be the absolute path of 
   echo the file SmallEiffel/sys/system.se
   exit 1
fi
SE=`dirname $SmallEiffel`
SE=`dirname $SE`
if [ -f ${SE} ]; then
   echo ${SE} "not found."
   exit 1
fi
cd ${SE}
un=`uname`
mode=" "
if [ $un = Linux ]
 then
  mode=automatic
elif [ $un = SunOS ]
 then
  mode=automatic
fi
echo To install SmallEiffel type:    make ${mode}
