export PYTHONPATH=.:$PYTHONPATH
echo "Configuring Felix"
grab=1

PREFIX=$PREFIX
ARGS=""

#while (( "$grab" == "1" ));    # not working under cygwin bash
while  [ "$grab" -eq 1 ]
do
  case x$1 in
  x--prefix=*)
     PREFIX="`echo \"$1\" | sed 's/--prefix=\(.*\)/\\1/'`"
     shift
  ;;

  x--prefix)
    shift
    PREFIX="$1"
    shift
  ;;

  x)
    grab=0
  ;;

  x*)
    ARGS="${ARGS} $1"
    shift
  ;;


  esac
done

echo "Installing at PREFIX=$PREFIX"
make PREFIX=$PREFIX CONFIG_ARGS="$ARGS" config &&\
make PREFIX=$PREFIX boot &&\
make grammar &&\
make extract

