#!/usr/bin/env bash

#

# Author: Makarius

#

# Isabelle/Java cold start -- without settings environment

if [ -L "$0" ]; then

  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"

  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"

fi

export ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"

(

  source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2

  eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"

  if [ -f "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" ]; then

    classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"

  fi

  [ -n "$CLASSPATH" ] && classpath "$CLASSPATH"

  echo "$ISABELLE_ROOT"

  echo "$CYGWIN_ROOT"

  echo "$JAVA_HOME"

  echo "$(platform_path "$ISABELLE_CLASSPATH")"

  for ARG in "${JAVA_ARGS[@]}"; do echo "$ARG"; done

) | {

  LINE_COUNT=0

  export ISABELLE_ROOT=""

  export CYGWIN_ROOT=""

  unset JAVA_HOME

  unset ISABELLE_CLASSPATH

  unset JAVA_ARGS; declare -a JAVA_ARGS

  while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }

  do

    case "$LINE_COUNT" in

      0)

        LINE_COUNT=1

        ISABELLE_ROOT="$REPLY"

        ;;

      1)

        LINE_COUNT=2

        CYGWIN_ROOT="$REPLY"

        ;;

      2)

        LINE_COUNT=3

        JAVA_HOME="$REPLY"

        ;;

      3)

        LINE_COUNT=4

        ISABELLE_CLASSPATH="$REPLY"

        ;;

      *)

        JAVA_ARGS["${#JAVA_ARGS[@]}"]="$REPLY"

        ;;

    esac

  done

  if [ -z "$JAVA_HOME" ]; then

    echo "Unknown JAVA_HOME -- Java unavailable" >&2

    exit 127

  else

    unset ISABELLE_HOME

    unset CLASSPATH

    exec "$JAVA_HOME/bin/java" "${JAVA_ARGS[@]}" \

      -classpath "$ISABELLE_CLASSPATH" "$@"

  fi

}