#!/usr/bin/env bash

#

# Author: Makarius

#

# mk-jars - build Isabelle/Scala

#

# Requires proper Isabelle settings environment.

## diagnostics

function fail()

{

  echo "$1" >&2

  exit 2

}

[ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"

[ -z "$SCALA_HOME" ] && fail "Scala unavailable: unknown SCALA_HOME"

## dependencies

declare -a SOURCES=(

  Concurrent/future.scala

  General/exn.scala

  General/linear_set.scala

  General/markup.scala

  General/position.scala

  General/pretty.scala

  General/scan.scala

  General/symbol.scala

  General/xml.scala

  General/yxml.scala

  Isar/isar_document.scala

  Isar/keyword.scala

  Isar/outer_lex.scala

  Isar/outer_syntax.scala

  Isar/parse.scala

  PIDE/change.scala

  PIDE/command.scala

  PIDE/document.scala

  PIDE/event_bus.scala

  PIDE/markup_node.scala

  PIDE/state.scala

  PIDE/text_edit.scala

  System/cygwin.scala

  System/download.scala

  System/gui_setup.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

)

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

OUTDATED=false

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

do

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

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

  do

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

  done

done

if [ "$OUTDATED" = true ]

then

  echo "###"

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

  echo "###"

  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"

  (

    cd classes

    jar cfe "$(jvmpath "$PURE_JAR")" isabelle.GUI_Setup 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"

  )

  rm -rf classes

fi