cd src

./configure --prefix="$SAGE_LOCAL"

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

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


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



