cd src
./configure --prefix="$SAGE_LOCAL"

if [ $? -ne 0 ]; then
   echo "Error configuring flex."
   exit 1
fi

make
if [ $? -ne 0 ]; then
   echo "Error making flex."
   exit 1
fi


make install
if [ $? -ne 0 ]; then
   echo "Error installing flex."
   exit 1
fi



