#!/usr/bin/env bash

#

# Author: Makarius

#

# build-jars - build Isabelle/Scala

#

# Requires proper Isabelle settings environment.

## sources

declare -a SOURCES=(

  Concurrent/counter.scala

  Concurrent/future.scala

  Concurrent/simple_thread.scala

  Concurrent/volatile.scala

  General/bytes.scala

  General/exn.scala

  General/file.scala

  General/graph.scala

  General/graphics_file.scala

  General/linear_set.scala

  General/multi_map.scala

  General/path.scala

  General/position.scala

  General/pretty.scala

  General/properties.scala

  General/scan.scala

  General/sha1.scala

  General/symbol.scala

  General/time.scala

  General/timing.scala

  General/xz_file.scala

  GUI/color_value.scala

  GUI/gui.scala

  GUI/html5_panel.scala

  GUI/jfx_thread.scala

  GUI/popup.scala

  GUI/swing_thread.scala

  GUI/system_dialog.scala

  GUI/wrap_panel.scala

  Isar/completion.scala

  Isar/keyword.scala

  Isar/outer_syntax.scala

  Isar/parse.scala

  Isar/token.scala

  PIDE/command.scala

  PIDE/document.scala

  PIDE/document_id.scala

  PIDE/editor.scala

  PIDE/markup.scala

  PIDE/markup_tree.scala

  PIDE/protocol.scala

  PIDE/query_operation.scala

  PIDE/text.scala

  PIDE/xml.scala

  PIDE/yxml.scala

  System/command_line.scala

  System/event_bus.scala

  System/interrupt.scala

  System/invoke_scala.scala

  System/isabelle_charset.scala

  System/isabelle_font.scala

  System/isabelle_process.scala

  System/isabelle_system.scala

  System/options.scala

  System/platform.scala

  System/session.scala

  System/system_channel.scala

  System/utf8.scala

  Thy/html.scala

  Thy/present.scala

  Thy/thy_header.scala

  Thy/thy_info.scala

  Thy/thy_load.scala

  Thy/thy_syntax.scala

  Tools/build.scala

  Tools/doc.scala

  Tools/keywords.scala

  Tools/main.scala

  Tools/ml_statistics.scala

  Tools/sledgehammer_params.scala

  Tools/task_statistics.scala

  library.scala

  package.scala

  term.scala

  term_xml.scala

)

## diagnostics

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

function usage()

{

  echo

  echo "Usage: isabelle $PRG [OPTIONS]"

  echo

  echo "  Options are:"

  echo "    -f           fresh build"

  echo "    -t           test separate compilation of PIDE"

  echo

  exit 1

}

function fail()

{

  echo "$1" >&2

  exit 2

}

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

## process command line

# options

FRESH=""

TEST_PIDE=""

while getopts "ft" OPT

do

  case "$OPT" in

    f)

      FRESH=true

      ;;

    t)

      TEST_PIDE=true

      ;;

    \?)

      usage

      ;;

  esac

done

shift $(($OPTIND - 1))

# args

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

## build

TARGET_DIR="$ISABELLE_HOME/lib/classes"

TARGET="$TARGET_DIR/Pure.jar"

declare -a PIDE_SOURCES=()

declare -a PURE_SOURCES=()

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

do

  if grep "Module:.*PIDE" "$DEP" >/dev/null

  then

    PIDE_SOURCES["${#PIDE_SOURCES[@]}"]="$DEP"

  else

    PURE_SOURCES["${#PURE_SOURCES[@]}"]="$DEP"

  fi

done

declare -a UPDATED=()

if [ -n "$FRESH" ]; then

  OUTDATED=true

else

  OUTDATED=false

  if [ ! -e "$TARGET" ]; then

    OUTDATED=true

  else

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

    do

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

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

        OUTDATED=true

        UPDATED["${#UPDATED[@]}"]="$DEP"

      }

    done

  fi

fi

if [ "$OUTDATED" = true ]

then

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

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

    echo "Changed files:"

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

    do

      echo "  $FILE"

    done

  }

  rm -rf classes && mkdir classes

  SCALAC_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -d classes"

  (

    classpath "$ISABELLE_JDK_HOME/jre/lib/jfxrt.jar"

    classpath classes

    export CLASSPATH="$(jvmpath "$ISABELLE_CLASSPATH")"

    if [ "$TEST_PIDE" = true ]; then

      isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" || \

        fail "Failed to compile PIDE sources"

      isabelle_scala scalac $SCALAC_OPTIONS "${PURE_SOURCES[@]}" || \

        fail "Failed to compile Pure sources"

    else

      isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" "${PURE_SOURCES[@]}" || \

        fail "Failed to compile sources"

    fi

  ) || exit "$?"

  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"

  cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" isabelle/.

  isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.Main META-INF isabelle || \

    fail "Failed to produce $TARGET"

  cp "$SCALA_HOME/lib/scala-compiler.jar" \

    "$SCALA_HOME/lib/scala-library.jar" \

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

    "$SCALA_HOME/lib/scala-actors.jar" \

    "$SCALA_HOME/lib/scala-reflect.jar" \

    "$TARGET_DIR"

  popd >/dev/null

  rm -rf classes

fi