#!/bin/sh
#
# Created `Tue Oct 22 19:13:54 MET DST 1996' by `mmaurer'.
# Copyright (c) 1995 By The LiDIA Group -- All Rights Reserved.
# Author --  Markus Maurer (MM)
#

echo " "
echo "You will now be asked for the integer arithmetic that " 
echo "will be used in the kernel of LiDIA (gmp, libI, lip)."
echo " "
echo "gmp   - written by Torbjorn Granlund"
echo "libI  - written by Ralf Dentzer"
echo "lip   - written by Arjen Lenstra"
echo " "
echo "To use the [default arithmetic], just type <return>."
echo " "

INTEGERS="libI"
SUCCESS="n"

while test "$SUCCESS" != "y" ;
do 
  echo -n "integer arithmetic ? [$INTEGERS] : "
  read ANSWER
  if test "$ANSWER" = "gmp" -o "$ANSWER" = "lip" -o "$ANSWER" = "libI" ; then
    INTEGERS=$ANSWER
    SUCCESS=y
  elif test "$ANSWER" = "" ; then
    SUCCESS=y
  else
    echo "Please choose gmp, libI, or lip." 
    INTEGERS="libI"
  fi
done
echo $INTEGERS > ./KRNL_INT
