#!/usr/bin/env bash

#

# Author: Makarius

#

# build-jars - build Isabelle/Scala

#

# Requires proper Isabelle settings environment.

## sources

declare -a SOURCES=(

  Concurrent/future.scala

  Concurrent/simple_thread.scala

  Concurrent/volatile.scala

  General/exn.scala

  General/timing.scala

  General/linear_set.scala

  General/markup.scala

  General/position.scala

  General/pretty.scala

  General/scan.scala

  General/sha1.scala

  General/symbol.scala

  General/xml.scala

  General/xml_data.scala

  General/yxml.scala

  Isar/keyword.scala

  Isar/outer_syntax.scala

  Isar/parse.scala

  Isar/token.scala

  PIDE/command.scala

  PIDE/document.scala

  PIDE/isar_document.scala

  PIDE/markup_tree.scala

  PIDE/text.scala

  System/cygwin.scala

  System/download.scala

  System/event_bus.scala

  System/gui_setup.scala

  System/isabelle_charset.scala

  System/isabelle_process.scala

  System/isabelle_syntax.scala

  System/isabelle_system.scala

  System/platform.scala

  System/session.scala

  System/session_manager.scala

  System/standard_system.scala

  System/swing_thread.scala

  Thy/completion.scala

  Thy/html.scala

  Thy/thy_header.scala

  Thy/thy_syntax.scala

  library.scala

  package.scala

)

## diagnostics

PRG="$(basename "$0")"

function usage()

{

  echo

  echo "Usage: isabelle $PRG [OPTIONS]"

  echo

  echo "  Options are:"

  echo "    -f           fresh build"

  echo

  exit 1

}

function fail()

{

  echo "$1" >&2

  exit 2

}

[ -z "$ISABELLE_HOME" ] && fail "Missing Isabelle settings environment"

[ -z "$SCALA_HOME" ] && fail "Unknown SCALA_HOME -- Scala unavailable"

## process command line

# options

FRESH=""

while getopts "f" OPT

do

  case "$OPT" in

    f)

      FRESH=true

      ;;

    \?)

      usage

      ;;

  esac

done

shift $(($OPTIND - 1))

# args

[ "$#" -ne 0 ] && usage

## dependencies

TARGET_DIR="$ISABELLE_HOME/lib/classes"

PURE_JAR="$TARGET_DIR/Pure.jar"

FULL_JAR="$TARGET_DIR/isabelle-scala.jar"

declare -a TARGETS=("$PURE_JAR" "$FULL_JAR")

## main

declare -a UPDATED=()

if [ -n "$FRESH" ]; then

  OUTDATED=true

else

  OUTDATED=false

  for TARGET in "${TARGETS[@]}"

  do

    [ ! -e "$TARGET" ] && OUTDATED=true

  done

  if [ "$OUTDATED" = false ]; then

    for DEP in "${SOURCES[@]}"

    do

      [ ! -e "$DEP" ] && fail "Missing file: $DEP"

      UPDATE=""

      for TARGET in "${TARGETS[@]}"

      do

        [ "$DEP" -nt "$TARGET" ] && {

          OUTDATED=true

          UPDATE=true

        }

      done

      [ -n "$UPDATE" ] && UPDATED["${#UPDATED[@]}"]="$DEP"

    done

  fi

fi

if [ "$OUTDATED" = true ]

then

  echo "###"

  echo "### Building Isabelle/Scala layer ..."

  echo "###"

  [ "${#UPDATED[@]}" -gt 0 ] && {

    echo "Changed files:"

    for FILE in "${UPDATED[@]}"

    do

      echo "  $FILE"

    done

  }

  rm -rf classes && mkdir classes

  "$SCALA_HOME/bin/scalac" -unchecked -deprecation -d classes -target:jvm-1.5 "${SOURCES[@]}" || \

    fail "Failed to compile sources"

  mkdir -p "$TARGET_DIR" || fail "Failed to create directory $TARGET_DIR"

  pushd classes >/dev/null

  CHARSET_SERVICE="META-INF/services/java.nio.charset.spi.CharsetProvider"

  mkdir -p "$(dirname "$CHARSET_SERVICE")"

  echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE"

  jar cfe "$(jvmpath "$PURE_JAR")" isabelle.GUI_Setup META-INF isabelle || \

    fail "Failed to produce $PURE_JAR"

  cp "$SCALA_HOME/lib/scala-swing.jar" .

  jar xf scala-swing.jar

  cp "$SCALA_HOME/lib/scala-library.jar" "$FULL_JAR"

  jar ufe "$(jvmpath "$FULL_JAR")" isabelle.GUI_Setup isabelle scala || \

    fail "Failed to produce $FULL_JAR"

  mkdir -p "$TARGET_DIR/ext"

  cp "$FULL_JAR" "$TARGET_DIR/ext/"

  popd >/dev/null

  rm -rf classes

fi