#!/bin/bash

#

# Author: Makarius

#

# Isabelle application wrapper

THIS="$(cd "$(dirname "$0")"; pwd)"

THIS_APP="$(cd "$THIS/../.."; pwd)"

SUPER_APP="$(cd "$THIS/../../.."; pwd)"

# sane environment defaults

cd "$HOME"

if [ -x /usr/libexec/path_helper ]; then

  eval $(/usr/libexec/path_helper -s)

fi

[ -z "$LANG" ] && export LANG=en_US.UTF-8

# settings support

function choosefrom ()

{

  local RESULT=""

  local FILE=""

  for FILE in "$@"

  do

    [ -z "$RESULT" -a -e "$FILE" ] && RESULT="$FILE"

  done

  [ -z "$RESULT" ] && RESULT="$FILE"

  echo "$RESULT"

}

# Isabelle

ISABELLE_TOOL="$(choosefrom \

  "$THIS/Isabelle/bin/isabelle" \

  "$SUPER_APP/Isabelle/bin/isabelle" \

  "$HOME/bin/isabelle" \

  isabelle)"

# Proof General / Emacs

PROOFGENERAL_EMACS="$(choosefrom \

  "$THIS/Emacs.app/Contents/MacOS/Emacs" \

  "$SUPER_APP/Emacs.app/Contents/MacOS/Emacs" \

  /Applications/Emacs.app/Contents/MacOS/Emacs \

  "")"

declare -a EMACS_OPTIONS=()

if [ -n "$PROOFGENERAL_EMACS" ]; then

  EMACS_OPTIONS=(-p "$PROOFGENERAL_EMACS")

fi

# enforce fonts

if [ ! -f "$HOME/Library/Fonts/STIXGeneral.ttf" -a ! -f "$HOME/Library/Fonts/STIXGeneral.otf" ]

then

  cp -f "$THIS/STIXv1.0.0/Fonts"/STIXGeneral* "$HOME/Library/Fonts/"

  sleep 3

fi

EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="-x"

EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="true"

# run interface with error feedback

ISABELLE_INTERFACE_CHOICE="$("$ISABELLE_TOOL" getenv -b ISABELLE_INTERFACE_CHOICE)"

if [ "$ISABELLE_INTERFACE_CHOICE" != emacs -a "$ISABELLE_INTERFACE_CHOICE" != jedit ]

then

  declare -a CHOICE

  CHOICE=($("$THIS/CocoaDialog.app/Contents/MacOS/CocoaDialog" dropdown \

    --title Isabelle \

    --text "Which Isabelle interface?" \

    --items "Emacs / Proof General" "Isabelle/jEdit PIDE" \

    --button2 "OK, do not ask again" --button1 "OK"))

  if [ "${CHOICE[1]}" = 0 ]; then

    ISABELLE_INTERFACE_CHOICE=emacs

  else

    ISABELLE_INTERFACE_CHOICE=jedit

  fi

  if [ "${CHOICE[0]}" = 2 ]; then

    ISABELLE_HOME_USER="$("$ISABELLE_TOOL" getenv -b ISABELLE_HOME_USER)"

    mkdir -p "$ISABELLE_HOME_USER/etc"

    ( echo; echo "ISABELLE_INTERFACE_CHOICE=$ISABELLE_INTERFACE_CHOICE"; ) \

      >> "$ISABELLE_HOME_USER/etc/settings"

    "$THIS/CocoaDialog.app/Contents/MacOS/CocoaDialog" ok-msgbox \

      --title Isabelle \

      --text Note \

      --informative-text "ISABELLE_INTERFACE_CHOICE stored in $ISABELLE_HOME_USER/etc/settings" \

      --no-cancel

  fi

fi

OUTPUT="/tmp/isabelle$$.out"

if [ "$ISABELLE_INTERFACE_CHOICE" = emacs ]; then

  ( "$ISABELLE_TOOL" emacs "${EMACS_OPTIONS[@]}" "$@" ) > "$OUTPUT" 2>&1

  RC=$?

else

  rm -f "$OUTPUT" && touch "$OUTPUT"

  "$ISABELLE_TOOL" jedit "$@"

  RC=$?

fi

if [ "$RC" != 0 ]; then

  echo >> "$OUTPUT"

  echo "Return code: $RC" >> "$OUTPUT"

fi

if [ $(stat -f "%z" "$OUTPUT") != 0 ]; then

  "$THIS/CocoaDialog.app/Contents/MacOS/CocoaDialog" textbox \

    --title "Isabelle" \

    --informative-text "Isabelle output" \

    --text-from-file "$OUTPUT" \

    --button1 "OK"

fi

rm -f "$OUTPUT"

exit "$RC"